302 articles – 345 Notices  [english version]
HAL : hal-00147244, version 1
Fiche concise  Récupérer au format
Feasible Reactivity for Synchronous Cooperative Threads.
Amadio R. M., Dabrowski F.
in Expressiveness in Concurrency - Process Algebra, France (2006) - http://hal.archives-ouvertes.fr/hal-00147244
Type de publication : Communications avec actes
Domaine : Informatique/Logique en informatique
Titre : Feasible Reactivity for Synchronous Cooperative Threads.
Auteur(s) : Roberto M. Amadio () 1, Frederic Dabrowski 2
Laboratoire :
1 :  Preuves, Programmes et Systèmes (PPS)
http://www.pps.jussieu.fr
CNRS : UMR7126 – Université Paris VII - Paris Diderot
Université Denis Diderot 2 Place Jussieu - case 7014 75005 PARIS
France
2 :  MIMOSA (INRIA Sophia Antipolis)
INRIA – Université de Provence - Aix-Marseille I – MINES ParisTech - École nationale supérieure des mines de Paris
France
Langue du texte
intégral :		 Anglais
Journal :
Electronic Notes in Theoretical Computer Science
Publisher Elsevier
ISSN 1571-0661 
Titre de l'ouvrage : Expressiveness in Concurrency
Audience : internationale
Date de publication : 19/07/2006
Page, identifiant, ... : 33-43
Éditeur commercial : Elsevier
Série/Collection : Electronic Notes in Theoretical Computer Science, 154(3)
Titre de la conférence : Process Algebra
Date de la conférence : 19/07/2006
Pays : France
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