A Distribution Law for CCS and a New Congruence Result for the pi-calculus
<|reference_start|>A Distribution Law for CCS and a New Congruence Result for the pi-calculus: 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.<|reference_end|>
@article{hirschkoff2006a,
    title={A Distribution Law for CCS and a New Congruence Result for the
  pi-calculus},
    author={Daniel Hirschkoff, Damien Pous},
    journal={Logical Methods in Computer Science, Volume 4, Issue 2 (May 14,
  2008) lmcs:823},
    year={2006},
    doi={10.2168/LMCS-4(2:4)2008},
    archivePrefix={arXiv},
    eprint={cs/0608059},
    primaryClass={cs.LO}
}