On Bisimilarity and Substitution in Presence of Replication

Daniel Hirschkoff (1) , Damien Pous (2)

1 LIP - Laboratoire de l'Informatique du Parallélisme
2 SARDES - System architecture for reflective distributed computing environments

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.

Mots clés: process algebra; bisimilarity; replication; congruence; axiomatisation

Domaines: Langage de programmation [cs.PL]

Daniel Hirschkoff, Damien Pous. On Bisimilarity and Substitution in Presence of Replication. 2009. ⟨hal-00375604v2⟩