AESOP home


Separation Results via Leader Election Problems

Maria Vigliotti, Iain Phillips, Catuscia Palamidessi

4th International Symposium on Formal Methods for Objects and Components (FMCO 2005), 1-4 November 2005, CWI, Amsterdam, The Netherlands
August, 2006
Lecture Notes in Computer Science
Volume 4111
DOI 10.1007/11804192_9

We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the pi-calculus with mixed choice and with separate choice, value-passing CCS and Mobile Ambients. We provide a unified approach for all these calculi using reduction semantics.

Information from