Daniel Hirschkoff ; Damien Pous - A Distribution Law for CCS and a New Congruence Result for the pi-calculus

lmcs:823 - Logical Methods in Computer Science, May 14, 2008, Volume 4, Issue 2 - https://doi.org/10.2168/LMCS-4(2:4)2008
A Distribution Law for CCS and a New Congruence Result for the pi-calculusArticle

Authors: Daniel Hirschkoff ; Damien Pous ORCID

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.

Comment: 20 pages

https://doi.org/10.2168/LMCS-4(2:4)2008
Source: arXiv.org:cs/0608059
Volume: Volume 4, Issue 2
Secondary volumes: Selected Papers of the 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2007)
Published on: May 14, 2008
Imported on: September 20, 2007
Keywords: Computer Science - Logic in Computer Science, F.3.2
Licence: arXiv.org - Assumed non-exclusive license to distribute

5 Documents citing this article

Share and export

Consultation statistics

This page has been seen 3074 times.
This article's PDF has been downloaded 514 times.