On characterising strong bisimilarity in a fragment of CCS with replication - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2008

On characterising strong bisimilarity in a fragment of CCS with 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. We discuss how our method allows us 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. We have not formalised the latter result in all details.
Fichier principal
Vignette du fichier
seeds.pdf (150.53 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

Citer

Daniel Hirschkoff, Damien Pous. On characterising strong bisimilarity in a fragment of CCS with replication. 2008. ⟨hal-00375604v1⟩
214 Consultations
248 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More