R. M. Amadio, A Synchronous pi-Calculus, 2006.
DOI : 10.1016/j.ic.2007.02.002
URL : https://hal.archives-ouvertes.fr/hal-00078319

M. Roberto, F. Amadio, and . Dabrowski, Feasible Reactivity for Synchronous Cooperative Threads, Workshop on Expressiveness in Concurrency, pp.33-43, 2006.

M. Roberto, M. Amadio, and . Dogguy, Determinacy in a Synchronous pi-Calculus, 2007.

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

F. Boussinot, Java Fair Threads. Inria research report, p.4139, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072487

F. Boussinot, FairThreads: Mixing Cooperative and Preemptive Threads in C. Concurrency and Computation: Practice and Experience, pp.445-469, 2006.
DOI : 10.1002/cpe.919
URL : https://hal.archives-ouvertes.fr/inria-00071544

F. Boussinot, R. De, and S. , The SL synchronous language, IEEE Transactions on Software Engineering, vol.22, issue.4, pp.256-266, 1996.
DOI : 10.1109/32.491649
URL : https://hal.archives-ouvertes.fr/inria-00074168

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, Lustre: A Declarative Language for Programming Synchronous Systems, POPL, pp.178-188, 1987.

F. Dabrowski, Programmation réactive synchrone -Langage et contrôle des ressources, 2007.

F. Dabrowski and F. Boussinot, Cooperative Threads and Preemptive Computations Proceedings of TV'06, Multithreading in Hardware and Software: Formal Approaches to Design and Verification, 2006.

R. S. Engelschall, Portable Multithreading, Proc. USENIX Annual Technical Conference, 2000.

C. Flanagan and M. Abadi, Types for Safe Locking, ESOP '99: Proceedings of the 8th European Symposium on Programming Languages and Systems, pp.91-108, 1999.
DOI : 10.1007/3-540-49099-X_7

C. Flanagan and S. Qadeer, A type and effect system for atomicity, ACM SIGPLAN Notices, vol.38, issue.5, pp.338-349, 2003.
DOI : 10.1145/780822.781169

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

L. Mandel and M. Pouzet, ReactiveML, a Reactive Extension to ML, ACM International conference on Principles and Practice of Declarative Programming (PPDP'05), 2005.
URL : https://hal.archives-ouvertes.fr/hal-01489747

W. O. Peter and . Hearn, Resources, Concurrency, and Local Reasoning (Abstract ), ESOP, pp.1-2, 2004.

M. Pouzet, Lucid Synchrone, version 3. Tutorial and Reference Manual, 2006.

C. John and . Reynolds, Separation Logic: a Logic for Shared Mutable Data Structures, 2002.

M. Serrano, F. Boussinot, and B. Serpette, Scheme fair threads, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '04, pp.203-214, 2004.
DOI : 10.1145/1013963.1013986

O. Tardieu and S. A. Edwards, Scheduling-independent threads and exceptions in SHIM, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.142-151, 2006.
DOI : 10.1145/1176887.1176908

J. Trevor, 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.