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.

    https://doi.org/10.2168/LMCS-4(2:4)2008
    Source: arXiv.org:cs/0608059
    Volume: Volume 4, Issue 2
    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 1530 times.
    This article's PDF has been downloaded 371 times.