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

@article{Hirschkoff2008ADL,
  title={A Distribution Law for CCS and a New Congruence Result for the pi-calculus},
  author={Daniel Hirschkoff and Damien Pous},
  journal={Logical Methods in Computer Science},
  year={2008},
  volume={4}
}
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 π-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of the π-calculus that includes the full output prefix and for which strong bisimilarity is a congruence.