Tutorial on separation results in process calculi via leader election problems

Maria Grazia Vigliotti 1 Iain Phillips 1 Catuscia Palamidessi 2
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
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 \pi-calculus with mixed choice, separate choice and internal mobility, value-passing CCS and Mobile Ambients, together with other ambient calculi (Safe Ambients, the Push and Pull Ambient Calculus and Boxed Ambients). We provide a unified approach for all these calculi using reduction semantics.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2007, 388 (1-3), pp.267--289. 〈10.1016/j.tcs.2007.09.001〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00201071
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 23 décembre 2007 - 02:28:04
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:22:38

Fichier

tcs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi. Tutorial on separation results in process calculi via leader election problems. Theoretical Computer Science, Elsevier, 2007, 388 (1-3), pp.267--289. 〈10.1016/j.tcs.2007.09.001〉. 〈inria-00201071〉

Partager

Métriques

Consultations de la notice

250

Téléchargements de fichiers

124