| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Expressiveness 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.
https://hal.inria.fr/inria-00201124
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Sunday, December 23, 2007 - 11:08:28 PM
Last modification on : Friday, January 21, 2022 - 3:09:41 AM
Long-term archiving on: : Tuesday, April 13, 2010 - 3:38:08 PM
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Sunday, December 23, 2007 - 11:08:28 PM
Last modification on : Friday, January 21, 2022 - 3:09:41 AM
Long-term archiving on: : Tuesday, April 13, 2010 - 3:38:08 PM
File
fmco-06.pdf
Files produced by the author(s)