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
- pp.267–289
- December, 2007
- Elsevier
- DOI 10.1016/j.tcs.2007.09.001
- Abstract
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.
- Keywords
- AESOP
BibTEX file for the publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.