Feasible Reactivity for Synchronous Cooperative Threads.

Roberto M. Amadio; Frederic Dabrowski

Communication Dans Un Congrès Electronic Notes in Theoretical Computer Science Année : 2006

Feasible Reactivity for Synchronous Cooperative Threads.

(1) , (2)

1
2

Roberto M. Amadio

Fonction : Auteur
PersonId : 736494
IdHAL : roberto-m-amadio
IdRef : 074696548

Preuves, Programmes et Systèmes

Frederic Dabrowski

Fonction : Auteur
PersonId : 7667
IdHAL : frederic-dabrowski
ORCID : 0000-0001-9009-0676
IdRef : 120068176

Migration and mobility : semantics and applications

Domaines

Logique en informatique [cs.LO]

Roberto M. Amadio : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00147244

Soumis le : mercredi 16 mai 2007-12:13:39

Dernière modification le : vendredi 19 avril 2024-16:18:56

Dates et versions

hal-00147244 , version 1 (16-05-2007)

Identifiants

HAL Id : hal-00147244 , version 1

Citer

Roberto M. Amadio, Frederic Dabrowski. Feasible Reactivity for Synchronous Cooperative Threads.. Process Algebra, Jul 2006, France. pp.33-43. ⟨hal-00147244⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 INSTITUT-TELECOM ENSMP PPS CNRS INRIA UNIV-AMU ENSMP_CMA PARISTECH INRIA2 PSL ENSMP_DR

125 Consultations

0 Téléchargements

Feasible Reactivity for Synchronous Cooperative Threads.

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager