A Distribution Law for CCS and a New Congruence Result for the pi-calculus (expanded)

Damien Pous (1, 2, 3) , Daniel Hirschkoff (1, 2)

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

We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite pi-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of the pi-calculus that includes the full output prefix and for which strong bisimilarity is a congruence.

Domaines: Informatique [cs]

Damien Pous, Daniel Hirschkoff. A Distribution Law for CCS and a New Congruence Result for the pi-calculus (expanded). Logical Methods in Computer Science, 2008, ⟨10.2168/LMCS-4(2:4)2008⟩. ⟨hal-01442744⟩