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
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.