A Distribution Law for CCS and a New Congruence Result for the pi-calculus
Logic in Computer Science
2015-07-01 v5
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.
Cite
@article{arxiv.cs/0608059,
title = {A Distribution Law for CCS and a New Congruence Result for the pi-calculus},
author = {Daniel Hirschkoff and Damien Pous},
journal= {arXiv preprint arXiv:cs/0608059},
year = {2015}
}
Comments
20 pages