M. Roberto, S. D. Amadio, and . Zilio, Resource control for synchronous cooperative threads, Proc. of CONCUR 2004 ? 15th International Conference on Concurrency Theory, pp.68-82, 2004.

F. Boussinot, Fairthreads: mixing cooperative and preemptive threads in C. Inria research report, RR-5039, Concurrency and Computation: Practice & Experience, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00071544

F. Boussinot, Reactive Programming of Cellular Automata. Inria research report, RR-5183, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00071405

D. Grossman, Type-safe multithreading in Cyclone, TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, pp.13-25, 2003.

T. Jim, J. G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney et al., Cyclone: A safe dialect of C, USENIX Annual Technical Conference, General Track, pp.275-288, 2002.

O. Tardieu, R. De, and S. , Instantaneous Termination in Pure Esterel, Static Analysis Symposium, 2003.
DOI : 10.1007/3-540-44898-5_6

I. Unité-de-recherche-inria-sophia and . Antipolis, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, 2004.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399