P. Attar, DSLM : Dynamic Synchronous Language with Memory, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00779192

G. Berry, The Constructive Semantics of Pure Esterel, 1999.

G. Berry and L. Cosserat, The ESTEREL synchronous programming language and its mathematical semantics, Seminar on Concurrency, pp.389-448
DOI : 10.1007/3-540-15670-4_19
URL : https://hal.archives-ouvertes.fr/inria-00076230

G. Boudol, ULM: A Core Programming Model for Global Computing, Programming Languages and Systems, pp.234-248, 2004.
DOI : 10.1007/978-3-540-24725-8_17

G. Boudol, Fair Cooperative Multithreading, CONCUR 2007 Concurrency Theory, pp.272-286, 2007.
DOI : 10.1007/978-3-540-74407-8_19

F. Boussinot, Safe Reactive Programming: The FunLoft Proposal, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00465563

F. Boussinot and J. Susini, The SugarCubes Tool Box: A Reactive Java Framework . Software: Practice and Experience, pp.1531-1550, 1998.

P. B. Hansen, Concurrent Programming Concepts, ACM Computing Surveys, vol.5, issue.4, pp.223-245, 1973.
DOI : 10.1145/356622.356624
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.3045

F. Dabrowski, Programmation Réactive Synchrone: langages et contrôle des ressources, 2007.

M. Dubois and C. Scheurich, Software Engineering, IEEE Transactions on Memory Access Dependencies in Shared-memory Multiprocessors, vol.16, issue.6, pp.660-673, 1990.
URL : https://hal.archives-ouvertes.fr/hal-01108241

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

L. Mandel and M. Pouzet, ReactiveML, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.82-93, 2005.
DOI : 10.1145/1069774.1069782
URL : https://hal.archives-ouvertes.fr/hal-01508179

A. Almeida-matos, G. Boudol, and I. Castellani, Typing noninterference for reactive programs, The Journal of Logic and Algebraic Programming, vol.72, issue.2, pp.124-156, 2007.
DOI : 10.1016/j.jlap.2007.02.009
URL : https://hal.archives-ouvertes.fr/inria-00070413

J. Muttersbach, T. Villiger, and W. Fichtner, Practical design of globally-asynchronous locally-synchronous systems, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586), pp.52-59, 2000.
DOI : 10.1109/ASYNC.2000.836791

A. W. Roscoe, C. A. Hoare, and R. Bird, The Theory and Practice of Concurrency, 1997.

P. Schaumont, C. L. Bo-cheng, Q. Wei, and I. Verbauwhede, Cooperative multithreading on embedded multiprocessor architectures enables energy-scalable design, Proceedings. 42nd Design Automation Conference, 2005., pp.27-30, 2005.
DOI : 10.1109/DAC.2005.193767