 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00147244, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Process Algebra, France (2006) |
|
|
|
|
| Feasible Reactivity for Synchronous Cooperative Threads. |
|
|
| Roberto M. Amadio 1Frederic Dabrowski 2 |
|
|
| (19/07/2006) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 2 : | MIMOSA (INRIA Sophia Antipolis) |
|
|
|
INRIA – Université de Provence - Aix-Marseille I – MINES ParisTech - École nationale supérieure des mines de Paris |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
| hal-00147244, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00147244 | |
| oai:hal.archives-ouvertes.fr:hal-00147244 | |
| Contributeur : Roberto Amadio | |
| Soumis le : Mercredi 16 Mai 2007, 12:13:39 | |
| Dernière modification le : Vendredi 16 Avril 2010, 16:43:51 | |
