On characterising strong bisimilarity in a fragment of CCS with 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. 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.

Mots clés: process algebra; bisimilarity; CCS; axiomatisation

Domaines: Logique en informatique [cs.LO]

Daniel Hirschkoff, Damien Pous. On characterising strong bisimilarity in a fragment of CCS with replication. 2008. ⟨hal-00375604v1⟩