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, 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

G. Kahn, The semantics of a simple language for parallel programming, Information Processing '74: Proceedings of the IFIP Congress, pp.471-475, 1974.

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

N. Liogkas, B. Macintyre, E. D. Mynatt, Y. Smaragdakis, E. Tilevich et al., Automatic partitioning: A promising approach to prototyping ubiquitous computing applications, IEEE Pervasive Computing, 2004.

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

Y. Sorel, SynDEx: System-level cad software for optimizing distributed real-time embedded systems, Journal ERCIM News, vol.59, pp.68-69, 2004.

J. Talpin and P. Jouvelot, Abstract, Journal of Functional Programming, vol.78, issue.03, 1992.
DOI : 10.1145/322123.322135
URL : https://hal.archives-ouvertes.fr/hal-00730926

M. Ward and H. Zedan, Slicing as a program transformation, ACM Transactions on Programming Languages and Systems, vol.29, issue.2, p.7, 2007.
DOI : 10.1145/1216374.1216375