C. André, F. Boulanger, and A. Girault, Software implementation of synchronous programs, Proceedings Second International Conference on Application of Concurrency to System Design, pp.133-142, 2001.
DOI : 10.1109/CSD.2001.981771

P. Aubry and P. L. Guernic, On the desynchronization of synchronous applications, 11th International Conference on Systems Engineering, ICSE'96, 1996.

H. E. Bal, J. G. Steiner, and A. S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys, vol.21, issue.3, pp.261-322, 1989.
DOI : 10.1145/72551.72552

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages twelve years later, Proc. of the IEEE, Special issue on embedded systems, pp.64-83, 2003.

B. Caillaud, P. Caspi, A. Girault, and C. Jard, Distributing automata for asynchronous networks of processors, European Journal of Automated Systems, vol.31, issue.3, pp.503-524, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00074336

P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis et al., From Simulink to Scade/Lustre to TTA: A layered approach for distributed embedded applications, International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES'03, pp.153-162, 2003.

P. Caspi, A. Girault, and D. Pilaud, Automatic distribution of reactive systems for asynchronous networks of processors, IEEE Transactions on Software Engineering, vol.25, issue.3, pp.416-427, 1999.
DOI : 10.1109/32.798329
URL : https://hal.archives-ouvertes.fr/inria-00073196

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, 2004.
DOI : 10.1145/1017753.1017792

P. Cuoq and M. Pouzet, Modular Causality in a Synchronous Stream Language, European Symposium on Programming (ESOP'01), 2001.
DOI : 10.1007/3-540-45309-1_16

A. Girault, A survey of automatic distribution method for synchronous programs, International Workshop on Synchronous Languages, Applications and Programs, SLAP'05, 2005.

B. Liblit and A. Aiken, Type systems for distributed data structures, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, pp.199-213, 2000.
DOI : 10.1145/325694.325717

O. Maffeïs, Ordonnancements de graphes de flots synchrones ; Application à la mise en oeuvre de Signal, 1993.

J. Mitola, The software radio architecture, IEEE Communications Magazine, vol.33, issue.5, pp.26-38, 1995.
DOI : 10.1109/35.393001

M. Neubauer and P. Thiemann, From sequential programs to multi-tier applications by program transformation, POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.221-232, 2005.

P. Sewell, J. J. Leifer, K. Wansbrough, F. Z. Nardelli, M. Allen-williams et al., Acute: High-level programming language design for distributed computation, Proceedings of ICFP 2005: International Conference on Functional Programming, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070671

J. Talpin and P. Jouvelot, Abstract, Journal of Functional ProgrammingEurope -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex, 1992.
DOI : 10.1145/322123.322135
URL : https://hal.archives-ouvertes.fr/hal-00730926

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399