Feasible Reactivity for Synchronous Cooperative Threads. - Archive ouverte HAL Access content directly
Conference Papers Electronic Notes in Theoretical Computer Science Year : 2006

Feasible Reactivity for Synchronous Cooperative Threads.

Roberto M. Amadio
Preuves, Programmes et Systèmes
Frederic Dabrowski
Migration and mobility : semantics and applications

Domains

Logic in Computer Science [cs.LO]

Roberto M. Amadio  : Connect in order to contact the contributor

https://hal.science/hal-00147244

Submitted on : Wednesday, May 16, 2007-12:13:39 PM

Last modification on : Friday, April 19, 2024-4:18:56 PM

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00147244 , version 1

Cite

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

Export

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 View
0 Download

Share

Gmail Facebook X LinkedIn More