AESOP home


Tutorial on separation results in process calculi via leader election problems

Maria Vigliotti, Iain Phillips, Catuscia Palamidessi

Journal Article
Theoretical Computer Science
Volume 388
Issues 1–3
December, 2007
DOI 10.1016/j.tcs.2007.09.001

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, separate choice and internal mobility, value-passing CCS and Mobile Ambients, together with other ambient calculi (Safe Ambients, the Push and Pull Ambient Calculus and Boxed Ambients). We provide a unified approach for all these calculi using reduction semantics.

Information from