J. Arias, M. Desainte-catherine, S. Salvati, and C. Rueda, Executing hierarchical interactive scores in ReactiveML, Journées d'Informatique Musicale, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01095159

G. Baudart, F. Jacquemard, L. Mandel, and M. Pouzet, A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), 2013.
DOI : 10.1109/EMSOFT.2013.6658579
URL : https://hal.archives-ouvertes.fr/hal-00850299

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.6645

G. Berry, Esterel on hardware, Mechanized reasoning and hardware design, pp.87-104, 1992.
DOI : 10.1098/rsta.1992.0027

G. Berry, Preemption in concurrent systems, Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, pp.72-93, 1993.
DOI : 10.1007/3-540-57529-4_44
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.1557

G. Berry, The constructive semantics of pure Esterel, p.24, 1996.

G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor et al., ESTEREL: a formal method applied to avionic software development, Science of Computer Programming, vol.36, issue.1, pp.5-25, 2000.
DOI : 10.1016/S0167-6423(99)00015-5
URL : https://hal.archives-ouvertes.fr/hal-00579632

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

G. Berry, C. Nicolas, and M. Serrano, Hiphop, Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients, PLASTIC '11, pp.49-56, 2011.
DOI : 10.1145/2093328.2093337
URL : https://hal.archives-ouvertes.fr/hal-00911782

F. Boussinot, Reactive C: an extension of C to program reactive systems. Software: Practice and Experience, pp.401-428, 1991.

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

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 and R. De-simone, The SL synchronous language, IEEE Transactions on Software Engineering, vol.22, issue.4, 1996.
DOI : 10.1109/32.491649
URL : https://hal.archives-ouvertes.fr/inria-00074168

F. Boussinot and J. Susini, The SugarCubes tool box: A reactive Java framework. Software Practice and Experience, pp.1531-1550, 1998.
DOI : 10.1002/(sici)1097-024x(19981210)28:14<1531::aid-spe218>3.0.co;2-u

P. Caspi and M. Pouzet, Synchronous Kahn Networks, ACM SIG- PLAN International Conference on Functional Programming (ICFP), 1996.
DOI : 10.1145/232629.232651
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9168

D. Chase and Y. Lev, Dynamic circular work-stealing deque, Proceedings of the 17th annual ACM symposium on Parallelism in algorithms and architectures , SPAA'05, pp.21-28, 2005.
DOI : 10.1145/1073970.1073974

C. Deleuze, Programmation r??active en OCaml, Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.7-9, pp.757-771, 2009.
DOI : 10.3166/jesa.43.757-771
URL : https://hal.archives-ouvertes.fr/hal-00493223/file/msr09.pdf

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5059

L. Hazard, Simple. An efficient implementation of Junior

L. Hazard, J. Susini, and F. Boussinot, The Junior reactive kernel, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00072933

M. Herlihy and N. Shavit, The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, 2008.
DOI : 10.1145/1146381.1146382

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy et al., The Objective Caml system release 4.02 Documentation and user's manual, INRIA, 2014.

L. Mandel, Conception, Sémantique et Implantation de ReactiveML : un langagè a la ML pour la programmation réactive, 2006.
DOI : 10.3166/tsi.27.1097-1128

L. Mandel and F. Benbadis, Simulation of mobile ad hoc network protocols in ReactiveML, Proceedings of Synchronous Languages, Applications , and Programming. Electronic Notes in Theoretical Computer Science, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01488510

L. Mandel and C. Pasteur, Reactivity of Cooperative Systems, Proceedings of 21st International Static Analysis Symposium, 2014.
DOI : 10.1007/978-3-319-10936-7_14
URL : https://hal.archives-ouvertes.fr/hal-01093169

L. Mandel, C. Pasteur, and M. Pouzet, Time Refinement in a Functional Synchronous Language, 15th International Symposium on Principles and Practice of Declarative Programming, 2013.
DOI : 10.1145/2505879.2505904
URL : https://hal.archives-ouvertes.fr/hal-00850290

L. Mandel and F. Plateau, Interactive Programming of Reactive Systems, Proceedings of Model-driven High-level Programming of Embedded Systems, 2008.
DOI : 10.1016/j.entcs.2008.01.004
URL : http://doi.org/10.1016/j.entcs.2008.01.004

L. Mandel and M. Pouzet, ReactiveML, a reactive extension to ML, Proceedings of 7th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01489747

M. Pouzet, Lucid Synchrone, version 3. Tutorial and reference manual [31] C. Reynolds. Flocks, herds and schools: A distributed behavioral model, In ACM SIGGRAPH Computer Graphics, vol.21, pp.25-34, 1987.

J. Reynolds, The discoveries of continuations, LISP and Symbolic Computation, vol.24, issue.3, pp.233-248, 1993.
DOI : 10.1007/BF01019459

L. Samper, F. Maraninchi, L. Mounier, and L. Mandel, GLONEMO, Proceedings of the first international conference on Integrated internet ad hoc and sensor networks , InterSense '06, 2006.
DOI : 10.1145/1142680.1142684

J. Vouillon, Lwt, Proceedings of the 2008 ACM SIGPLAN workshop on ML, ML '08, pp.3-12, 2008.
DOI : 10.1145/1411304.1411307
URL : https://hal.archives-ouvertes.fr/hal-00495983

P. Wadler, Deforestation: transforming programs to eliminate trees, Theoretical Computer Science, vol.73, issue.2, pp.231-248, 1990.
DOI : 10.1016/0304-3975(90)90147-A
URL : http://dx.doi.org/10.1016/0304-3975(90)90147-a

Z. Wan and P. Hudak, Functional reactive programming from first principles, International Conference on Programming Language, Design and Implementation, 2000.
DOI : 10.1145/358438.349331
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.360

M. Wand, Continuation-based multiprocessing, Proceedings of the 1980 ACM conference on LISP and functional programming , LFP '80, 1980.
DOI : 10.1145/800087.802786
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.5351