Expressiveness via Leader Election Problems

Maria Grazia Vigliotti 1 Iain Phillips 2 Catuscia Palamidessi 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
2 Department of Computing [London]
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 de document :
Communication dans un congrès
Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever. 4th International Symposium on Formal Methods for Components and Objects (FMCO), Nov 2005, Amsterdam, Netherlands. Springer, 4111, pp.172-194, 2006, Lecture Notes in Computer Science. 〈10.1007/11804192_9〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00201124
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 23 décembre 2007 - 23:08:28
Dernière modification le : mercredi 25 avril 2018 - 10:45:27
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:38:08

Fichier

fmco-06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | LIX | X-LIX | X | PARISTECH

Citation

Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi. Expressiveness via Leader Election Problems. Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever. 4th International Symposium on Formal Methods for Components and Objects (FMCO), Nov 2005, Amsterdam, Netherlands. Springer, 4111, pp.172-194, 2006, Lecture Notes in Computer Science. 〈10.1007/11804192_9〉. 〈inria-00201124〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

402

Téléchargements de fichiers

123

Contact


archive-ouverte@inria.fr