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

Roberto M. Amadio (1)

1 PPS - Preuves, Programmes et Systèmes

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.

Domaines: Logique en informatique [cs.LO]

Roberto M. Amadio. On convergence-sensitive bisimulation and the embedding of CCS in timed CCS. Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008), Jul 2008, Canada. pp.3-17. ⟨hal-00285337v2⟩