J. Armstrong, R. Virding, C. Wikström, and M. Williams, Concurrent Programming in ERLANG, 1996.

A. Benveniste, P. L. Guernic, and P. Aubry, Compositionality in dataflow synchronous languages: specification & code generation, Research Report, vol.3310, 1997.
DOI : 10.1007/3-540-49213-5_3
URL : https://hal.archives-ouvertes.fr/hal-00543297

G. Berry, A hardware implementation of pure ESTEREL, Workshop on Formal Methods in VLSI Design, 1991.
DOI : 10.1007/BF02811340
URL : https://hal.archives-ouvertes.fr/inria-00075083

G. Berry, The constructive semantics of pure Esterel, 1999.

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. Boudol, ULM: A Core Programming Model for Global Computing, European Symposium on Programming, 2004.
DOI : 10.1007/978-3-540-24725-8_17

F. Boussinot, SugarCubes implementation of causality, Research Report, vol.3487, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073201

F. Boussinot and J. Susini, The SugarCubes tool box: a reactive Java framework. Software-Practice and Experience, pp.1531-1550, 1998.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, An Open Component Model and Its Support in Java, Int. Symposium on Component Based Software Engineering, CBSE'04, 2004.
DOI : 10.1007/978-3-540-24774-6_3

P. Caspi and M. Pouzet, Synchronous Kahn networks, Conference on Functional Programming (ICFP), pp.226-238, 1996.

E. Closse, M. Poize, J. Pulou, P. Venier, and D. Weil, Saxo???rt: Interpreting Esterel Semantic on a Sequential Execution Structure, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, p.65, 2002.
DOI : 10.1016/S1571-0661(05)80443-8

J. Colaço, A. Girault, G. Hamon, and M. Pouzet, Towards a higher-order synchronous data-flow language, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, pp.230-239, 2004.
DOI : 10.1145/1017753.1017792

M. Conway, Design of a separable transition-diagram compiler, Communications of the ACM, vol.6, issue.7, 1963.
DOI : 10.1145/366663.366704

S. Edwards, An Esterel compiler for large control-dominated systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.21, issue.2, pp.169-183, 2002.
DOI : 10.1109/43.980257

O. Hainque, L. Pautet, Y. L. Biannic, and E. Nassor, Cronos: a separate compilation tool set for modular esterel applications, Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, 1999.
DOI : 10.1007/3-540-48118-4_47

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

R. Lublinerman and S. Tripakis, Modularity vs. reusability, Proceedings of the conference on Design, automation and test in Europe, DATE '08, 2008.
DOI : 10.1145/1403375.1403736

R. Milner, Communicating and Mobile Systems: the Pi-Calculus, 1999.

K. Moessner, S. Hope, P. Cook, W. Tuttlebee, and R. Tafazolli, The RMA -a framework for reconfiguration of SDR equipement, IEICE Trans. on Communications, issue.12, pp.85-2573, 2002.

D. Potop-butucaru and R. De-simone, Optimizations for faster execution of Esterel programs, International Conference on Formal Methods and Models for Co-Design (MEMOCODE), 2003.
URL : https://hal.archives-ouvertes.fr/hal-00618104

G. Rose, Authentication and security in mobile phones, Australian Unix Users Group conference, 1999.

K. Schneider, J. Brandt, and E. Vecchié, Modular Compilation of Synchronous Programs, IFIP Conference on Distributed and Parallel Embedded Systems (DIPES), 2006.
DOI : 10.1007/978-0-387-39362-9_9

J. Talpin and D. Nowak, A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems, Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, pp.78-89, 1998.
DOI : 10.1007/978-3-540-49382-2_8

J. Zeng and S. Edwards, Separate Compilation for Synchronous Modules, International Conference on Embedded Software and Systems (ICESS), 2005.
DOI : 10.1007/11599555_15