Maria Grazia Vigliotti Iain Phillips Catuscia Palamidessi Separation Results Via Leader Election Problems. 172-194 2005 conf/fmco/2005 FMCO http://dx.doi.org/10.1007/11804192_9 db/conf/fmco/fmco2005.html#VigliottiPP05