Hirschkoff, Daniel and Pous, Damien - 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
A Distribution Law for CCS and a New Congruence Result for the pi-calculus

Authors: Hirschkoff, Daniel and Pous, Damien

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.


Source : oai:arXiv.org:cs/0608059
DOI : 10.2168/LMCS-4(2:4)2008
Volume: Volume 4, Issue 2
Published on: May 14, 2008
Submitted on: June 25, 2015
Keywords: Computer Science - Logic in Computer Science,F.3.2


Share

Browsing statistics

This page has been seen 9 times.
This article's PDF has been downloaded 16 times.