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

Roberto Amadio (1)

1 PPS - Preuves, Programmes et Systèmes

We propose a notion of convergence-sensitive bisimulation as a suitable semantic framework for a fully abstract embedding of untimed processes into timed ones.

Domaines: Logique en informatique [cs.LO]

Roberto Amadio. On convergence-sensitive bisimulation and the embedding of CCS in timed CCS. 2008. ⟨hal-00285337v1⟩