On Bisimilarity and Substitution in Presence of Replication - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2009

On Bisimilarity and Substitution in Presence of Replication

Résumé

We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation, and a limited form of replication. The characterisation is not an axiomatisation, but is instead presented as a rewriting system. Our approach is extended to derive a new congruence result in the pi-calculus: congruence holds in the sub-calculus that does not include restriction nor sum, and features a limited form of replication. Whether this property holds with unrestricted replication remains open.
Fichier principal
Vignette du fichier
seeds.pdf (220.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00375604 , version 1 (10-10-2008)
hal-00375604 , version 2 (15-04-2009)
hal-00375604 , version 3 (15-02-2010)
hal-00375604 , version 4 (14-06-2010)

Identifiants

  • HAL Id : hal-00375604 , version 2

Citer

Daniel Hirschkoff, Damien Pous. On Bisimilarity and Substitution in Presence of Replication. 2009. ⟨hal-00375604v2⟩
268 Consultations
291 Téléchargements

Partager

More