On convergence-sensitive bisimulation and the embedding of CCS in timed CCS

Details On convergence-sensitive bisimulation and the embedding of CCS in timed CCS On convergence-sensitive bisimulation and the embedding of CCS in timed CCS

2008-06-05

arxiv.org/abs/0806.0936v2

Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008), Canada (2008)

Computer Science

Logic in Computer Science

Scientific paper

We propose a notion of convergence-sensitive bisimulation that is built just over the notions of (internal) reduction and of (static) context. In the framework of timed CCS, we characterise this notion of `contextual' bisimulation via the usual labelled transition system. We also remark that it provides a suitable semantic framework for a fully abstract embedding of untimed processes into timed ones. Finally, we show that the notion can be refined to include sensitivity to divergence.

Affiliated with

Also associated with

No associations

Rating

On convergence-sensitive bisimulation and the embedding of CCS in timed CCS 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 convergence-sensitive bisimulation and the embedding of CCS in timed CCS, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On convergence-sensitive bisimulation and the embedding of CCS in timed CCS will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-127914