On characterising strong bisimilarity in a fragment of CCS with replication

Details On characterising strong bisimilarity in a fragment of CCS with replication On characterising strong bisimilarity in a fragment of CCS with replication

2008-10-12

arxiv.org/abs/0810.2061v1

Computer Science

Logic in Computer Science

Scientific paper

We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The characterisation is not an axiomatisation, but is instead presented as a rewriting system. We discuss how our method allows us to derive a new congruence result in the $\pi$-calculus: congruence holds in the sub-calculus that does not include restriction nor sum, and features a limited form of replication. We have not formalised the latter result in all details.

Affiliated with

Also associated with

No associations

Rating

On characterising strong bisimilarity in a fragment of CCS with replication 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 On characterising strong bisimilarity in a fragment of CCS with replication, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On characterising strong bisimilarity in a fragment of CCS with replication will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-200218