 |
|
|
|
| HAL : hal-00285337, version 2 |
| arXiv : 0806.0936 |
| Fiche détaillée |  Récupérer au format |
|
|
| Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008), Canada (2008) |
|
|
| Versions disponibles : | v1 (05-06-2008) | v2 (18-09-2008) |
|
|
|
|
| On convergence-sensitive bisimulation and the embedding of CCS in timed CCS |
|
|
| Roberto M. Amadio 1 |
|
|
| (01/07/2009) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00285337, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00285337 | |
| oai:hal.archives-ouvertes.fr:hal-00285337 | |
| Contributeur : Roberto Amadio | |
| Soumis le : Jeudi 18 Septembre 2008, 16:10:54 | |
| Dernière modification le : Mercredi 30 Juin 2010, 13:01:49 | |
