Computing Publications

Publications Home » Tutorial on separation results in...

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.

BibTEX file for the publication built & maintained by Ashok Argent-Katwala.