Resource control for synchronous cooperative threads, Proc. of CONCUR 2004 ? 15th International Conference on Concurrency Theory, pp.68-82, 2004. ,
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
Reactive Programming of Cellular Automata. Inria research report, RR-5183, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00071405
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. ,
Cyclone: A safe dialect of C, USENIX Annual Technical Conference, General Track, pp.275-288, 2002. ,
Instantaneous Termination in Pure Esterel, Static Analysis Symposium, 2003. ,
DOI : 10.1007/3-540-44898-5_6
route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, 2004. ,
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 ,
BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399 ,