Fair Pi

Diletta Cacciagrano 1 Flavio Corradini 1 Catuscia Palamidessi 2
2 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
Abstract : In this paper, we define fair computations in the pi-calculus. We follow Costa and Stirling's approach for CCS-like languages but exploit a more natural labeling method of process actions to filter out unfair process executions. The new labeling allows us to prove all the significant properties of the original one, such as unicity, persistence and disappearance of labels. It also turns out that the labeled pi-calculus is a conservative extension of the standard one. We contrast the existing fair testing with those that naturally arise by imposing weak and strong fairness as defined by Costa and Stirling. This comparison provides the expressiveness of the various fair testing-based semantics and emphasizes the discriminating power of the one already proposed in the literature.
Type de document :
Communication dans un congrès
Iain Phillips and Roberto Amadio. 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06), Aug 2006, Bonn, Germany. Elsevier Science B.V., 175 (3), pp.3-26, 2007, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2007.04.010〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00200937
Contributeur : Catuscia Palamidessi <>
Soumis le : samedi 22 décembre 2007 - 08:54:54
Dernière modification le : jeudi 10 mai 2018 - 02:06:38
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:13:46

Fichier

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

Identifiants

Collections

Citation

Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Fair Pi. Iain Phillips and Roberto Amadio. 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06), Aug 2006, Bonn, Germany. Elsevier Science B.V., 175 (3), pp.3-26, 2007, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2007.04.010〉. 〈inria-00200937〉

Partager

Métriques

Consultations de la notice

245

Téléchargements de fichiers

81