A. Aho, R. Sethi, and J. Ullman, Compilers : Principles, Techniques and Tools, 1986.

C. André, SyncCharts : A visual representation of reactive behaviors. RR 95-52, I3S, 1995.

C. André, Representation and analysis of reactive bahaviors : A synchronous approach, Computational Engineering in Systems Applications (CESA), pp.19-29, 1996.

F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska et al., Hardware-software co-design of embedded systems : the POLIS approach, 1997.
DOI : 10.1007/978-1-4615-6127-9

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

A. Benveniste, B. Caillaud, and P. Le-guernic, From Synchrony to Asynchrony, International Conference on Concurrency Theory, pp.162-177, 1999.
DOI : 10.1007/3-540-48320-9_13
URL : https://hal.archives-ouvertes.fr/inria-00073032

G. Berry, The constructive semantics of pure Esterel Draft book available at http ://www.esterel-technologies.com/v3, 1999.

G. Berry and . Team, The esterel v5.91 system manual Available at http ://www.esterel-technologies.com/v3, 2000.

G. Berry, 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. Bouali, Xeve, an Esterel verification environment, Proceedings of the 10th International Conference on Computer Aided Verification, pp.500-504, 1998.
DOI : 10.1007/BFb0028770
URL : https://hal.archives-ouvertes.fr/inria-00069957

P. Caspi and A. Girault, Execution of distributed reactive systems, First International Conference on Parallel Processing, EURO- PAR'95, pp.15-26, 1995.
DOI : 10.1007/BFb0020452

P. Caspi, A. Girault, and D. Pilaud, Distributing reactive systems, Seventh International Conference on Parallel and Distributed Computing Systems, PDCS'94, 1994.

D. M. Chapiro, Globally Asynchronous Locally Synchronous Systems, 1984.

J. Forget, C. Lavarenne, and Y. Sorel, SynDEx v6 -User Manual

E. Sentovich and G. Berry, An implementation of constructive synchronous constructive programs in polis. Formal Methods in System Design, pp.135-161, 2000.

A. Girault, Sur la Répartition de Programmes Synchrones, 1994.

A. Girault and C. Ménier, Automatic Production of Globally Asynchronous Locally Synchronous Systems, 2nd International Workshop on Embedded Software, EMSOFT'02, pp.266-281, 2002.
DOI : 10.1007/3-540-45828-X_20

T. Grandpierre, Modélisation d'architecturesparalì eles hétérogènes pour la génération automatique d'exécutifs distribués temps réel optimisés, 2000.

C. Thierry-grandpierre, Y. Lavarenne, and . Sorel, Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors, Proceedings of the seventh international workshop on Hardware/software codesign , CODES '99, 1999.
DOI : 10.1145/301177.301489

T. Grandpierre and Y. Sorel, From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings., 2003.
DOI : 10.1109/MEMCOD.2003.1210097

R. Gupta and S. Pande, Kleanthis Psarris, and Vivek Sarkar Compilation techniques for parallel systems, Parallel Comput, vol.25, pp.13-141741, 1999.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

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

C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine, The SynDEx software environment for real-time distributed systems, design and implementation, European Control Conf, 1991.

P. Leguernic, T. Gauthier, M. Leborgne, and C. Lemaire, Programming real-time applications with SIGNAL, Proceedings of the IEEE, pp.1321-1336, 1991.
DOI : 10.1109/5.97301

C. Macabiau, SynDEx v6 : Heuristiques

S. Muchnick, Advanced Compiler Design and Implementation, 1997.

J. Muttersbach, T. Villiger, and W. Fichtner, Practical design of globallyasynchronous locally-synchronous systems, Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems, p.52, 2000.

C. Ménier and E. , Répartition de circuits séquentiels, 2001.

D. Potop-butucaru, Optimizations for faster simulation of Esterel programs, Ecole des Mines, 2002.

M. Sighireanu, The specification of DC2SDX translator, 1999.

Y. Sorel, Massively parallel computing systems with real time constraints: the "Algorithm Architecture Adequation" methodology, Proceedings of the First International Conference on Massively Parallel Computing Systems (MPCS) The Challenges of General-Purpose and Special-Purpose Computing, 1994.
DOI : 10.1109/MPCS.1994.367018

O. Tardieu and R. De-simone, Curring schizophrenia by program rewriting in Esterel, MEMOCODE'04, 2004.

A. Vicard and Y. Sorel, Formalization and static optimization for parallel implementations, DAPSYS'98 Workshop on Distributed and Parallel Systems, 1998.