R. M. Amadio and M. Dogguy, Determinacy in a Synchronous pi-Calculus, p.159764, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00159764

R. M. Amadio, A synchronous ??-calculus, Information and Computation, vol.205, issue.9, pp.1470-1490, 2007.
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, Electronic Notes in TCS, vol.154, issue.3, pp.33-43, 2005.

M. Roberto, F. Amadio, and . Dabrowski, Feasible Reactivity in a Synchronous pi-Calculus, PPDP '07: Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming, pp.221-230, 2007.

M. Roberto, S. D. Amadio, and . Zilio, Resource Control for Synchronous Cooperative Threads, Theoretical Computer Science, vol.358, pp.229-254, 2004.

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

A. D. Birrell, An Introduction to Programming with Threads, Digital Report, issue.35, 1989.

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

F. Boussinot and F. Dabrowski, Formalisation of FunLoft, Research Report, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00183242

C. Boyapati and M. Rinard, A Parameterized Type System for Race-free Java Programs, OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp.56-69, 2001.

P. B. Hansen, The Origin of Concurrent Programming, 2002.
DOI : 10.1007/978-1-4757-3472-0

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

F. Dabrowski, Programmation Réactive Synchrone, 2007.

F. Dabrowski and F. Boussinot, Cooperative Threads and Preemptive Computations, Proc. of TV'06 ? Multithreading in Hardware and Software: Formal Approaches to Design and Verification. Seattle, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00078780

C. Flanagan and S. N. Freund, Type-based Race Detection for Java, PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, pp.219-232, 2000.

C. Flanagan and S. N. Freund, Type inference against races, Science of Computer Programming, vol.64, issue.1, pp.140-165, 2007.
DOI : 10.1016/j.scico.2006.03.006

C. Flanagan and S. Qadeer, A Type and Effect System for Atomicity, PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, pp.338-349, 2003.

C. Flanagan and S. Qadeer, Types for Atomicity, TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, pp.1-12, 2003.

N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

C. A. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, vol.17, issue.10, pp.549-557, 1974.
DOI : 10.1145/355620.361161

M. Naik and A. Aiken, Conditional Must not Aliasing for Static Race Detection, POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.327-338, 2007.

M. Naik, A. Aiken, and J. Whaley, Effective static race detection for Java, ACM SIGPLAN Notices, vol.41, issue.6, pp.308-319, 2006.
DOI : 10.1145/1133255.1134018