@inproceedings{ef0d8516f0674e20b1a12ac525d4d04a,
title = "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.",
author = "Vigliotti, \{Maria Grazia\} and Iain Phillips and Catuscia Palamidessi",
year = "2006",
month = jan,
day = "1",
doi = "10.1007/11804192\_9",
language = "English",
isbn = "3540367497",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "172--194",
booktitle = "Formal Methods for Components and Objects - 4th International Symposium, FMCO 2005, Revised Lectures",
note = "4th International Symposium on Formal Methods for Components and Objects, FMCO 2005 ; Conference date: 01-11-2006 Through 04-11-2006",
}