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

Daniel Hirschkoff, Damien Pous

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…