Expressiveness via Leader Election Problems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2006

Expressiveness via Leader Election Problems

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
fmco-06.pdf (183.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Catuscia Palamidessi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00201124

Soumis le : dimanche 23 décembre 2007-23:08:28

Dernière modification le : jeudi 1 août 2024-17:08:02

Archivage à long terme le : mardi 13 avril 2010-15:38:08

Télécharger pour visualiser

Dates et versions

inria-00201124 , version 1 (23-12-2007)

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
260 Consultations
160 Téléchargements

Altmetric

Partager

More