On characterising strong bisimilarity in a fragment of CCS with replication

Daniel Hirschkoff, Damien Pous

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 ch…