A Distribution Law for CCS and a New Congruence Result for the pi-calculus

Details A Distribution Law for CCS and a New Congruence Result for the pi-calculus A Distribution Law for CCS and a New Congruence Result for the pi-calculus

2006-08-14

arxiv.org/abs/cs/0608059v5

LMCS 4 (2:4) 2008

Computer Science

Logic in Computer Science

20 pages

Scientific paper

10.2168/LMCS-4(2:4)2008

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.

Affiliated with

Also associated with

No associations

Rating

A Distribution Law for CCS and a New Congruence Result for the pi-calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Distribution Law for CCS and a New Congruence Result for the pi-calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Distribution Law for CCS and a New Congruence Result for the pi-calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-242646