Skip to Main content Skip to Navigation
Conference papers

Expressiveness via Leader Election Problems

Maria Grazia Vigliotti 1 Iain Phillips 2 Catuscia Palamidessi 1
1 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00201124
Contributor : Catuscia Palamidessi <>
Submitted on : Sunday, December 23, 2007 - 11:08:28 PM
Last modification on : Wednesday, July 15, 2020 - 2:00:19 PM
Long-term archiving on: : Tuesday, April 13, 2010 - 3:38:08 PM

File

fmco-06.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi. Expressiveness via Leader Election Problems. 4th International Symposium on Formal Methods for Components and Objects (FMCO), Nov 2005, Amsterdam, Netherlands. pp.172-194, ⟨10.1007/11804192_9⟩. ⟨inria-00201124⟩

Share

Metrics

Record views

457

Files downloads

250