On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
Logic in Computer Science
2010-07-01 v2
Abstract
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.
Cite
@article{arxiv.0806.0936,
title = {On convergence-sensitive bisimulation and the embedding of CCS in timed CCS},
author = {Roberto Amadio},
journal= {arXiv preprint arXiv:0806.0936},
year = {2010}
}