 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00159764, version 2 |
| arXiv : 0707.0556 |
| Fiche détaillée |  Récupérer au format |
 |
| From semantics to computer science: essays in honor of Gilles Kahn, Y. Bertot et al. (Ed.) (2009) 1-27 |
|
|
| Versions disponibles : | v1 (04-07-2007) | v2 (11-02-2008) |
|
|
|
|
| Determinacy in a synchronous pi-calculus |
|
|
| Roberto M. Amadio 1Mehdi Dogguy 1 |
|
|
| (2009) |
|
|
|
| The S-pi-calculus is a synchronous pi-calculus which is based on the SL model. The latter is a relaxation of the Esterel model where the reaction to the absence of a signal within an instant can only happen at the next instant. In the present work, we present and characterise a compositional semantics of the S-pi-calculus based on suitable notions of labelled transition system and bisimulation. Based on this semantic framework, we explore the notion of determinacy and the related one of (local) confluence. |
|
|
|
|
|
|
|
|
|
|
|
| 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-00159764, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00159764 | |
| oai:hal.archives-ouvertes.fr:hal-00159764 | |
| Contributeur : Roberto Amadio | |
| Soumis le : Lundi 11 Février 2008, 17:34:37 | |
| Dernière modification le : Mercredi 30 Juin 2010, 13:06:52 | |
