A distribution law for CCS and a new congruence result for the π-calculus

Authors:
Daniel Hirschkoff;Damien Pous
Affiliations:
LIP - ENS Lyon, CNRS, INRIA, UCBL, France;LIP - ENS Lyon, CNRS, INRIA, UCBL, France
Venue:
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Year:
2007

Citing 5
Cited 0

Unique decomposition of processes

Theoretical Computer Science
A theory of bisimulation for the &lgr;-calculus

Acta Informatica
Some congruence properties for &pgr;-calculus bisimilarities

Theoretical Computer Science
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
Finite equational bases in process algebra: results and open questions

Processes, Terms and Cycles

Quantified Score

Hi-index	0.00

Visualization

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 π-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of the π-calculus that includes the full output prefix and for which strong bisimilarity is a congruence.