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

Abstract

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.

20 pages

References in corpus (1)

• A Distribution Law for CCS and a New Congruence Result for the pi-calculus

Cited by in corpus (5)

• A Distribution Law for CCS and a New Congruence Result for the pi-calculus
• Separability in the Ambient Logic
• Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics
• On characterising strong bisimilarity in a fragment of CCS with replication
• Unique Parallel Decomposition for the Pi-calculus