Some Congruence Properties for pi-calculus Bisimilarities

Michele Boreale 1 Davide Sangiorgi
1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Both for interleaving and for non-interleaving semantics, several variants of a $\pi$-calculus bisimilarity can be given which differ on the requirements imposed on name instantiations. Examples are the {\em late, early, open} and {\em ground} variants. The ground variant is the simplest because it places no requirements on name instantiations. With the exception of open bisimilarities, none of the bisimilarity considered in the literature is a congruence relation on the full $\pi$-calculus language. We show that in the case of (certain forms of) % the (non-interleaving) {\em causal bisimulation } the late, early, open and ground variants coincide and are congruence relations in the sublanguage of the $\pi$-calculus without matching. We also show that to obtain the same results in the case of the interleaving bisimilarity, in addition to forbidding matching it is necessary to constrain the output prefix.
Type de document :
Rapport
RR-2870, INRIA. 1996
Liste complète des métadonnées

https://hal.inria.fr/inria-00073821
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:49:52
Dernière modification le : samedi 27 janvier 2018 - 01:31:31
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:07:52

Fichiers

Identifiants

  • HAL Id : inria-00073821, version 1

Collections

Citation

Michele Boreale, Davide Sangiorgi. Some Congruence Properties for pi-calculus Bisimilarities. RR-2870, INRIA. 1996. 〈inria-00073821〉

Partager

Métriques

Consultations de la notice

126

Téléchargements de fichiers

148