Maria Vigliotti, Iain Phillips, Catuscia Palamidessi
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 pubs.doc.ic.ac.uk/separation-leader-election.