Separation Results Via Leader Election Problems

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

• Type: Conference
• Year: 2005
• Where: FMCO
• Authors: Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
• Keywords: Expressive Power, FMCO 2005, Process Calculi, Symmetric Network