P. Amagbégnon, L. Besnard, and P. L. Guernic, Implementation of the data-flow synchronous language signal, Proceedings PLDI'95, 1995.

A. Benveniste, B. Caillaud, and P. L. Guernic, Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation, Information and Computation, vol.163, issue.1, pp.125-171, 2000.
DOI : 10.1006/inco.2000.9999

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

J. Boucaron, R. De-simone, and J. Millo, Latency-insensitive design and central repetitive scheduling, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings., 2006.
DOI : 10.1109/MEMCOD.2006.1695923
URL : https://hal.archives-ouvertes.fr/inria-00071374

J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, International Journal in Computer Simulation, vol.4, issue.2, 1994.
DOI : 10.1016/B978-155860702-6/50048-X

L. Carloni, K. Mcmillan, and A. Sangiovanni-vincentelli, Theory of latency-insensitive design, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.20, issue.9, p.18, 2001.
DOI : 10.1109/43.945302

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

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N-synchronous kahn networks : a relaxed model of synchrony for realtime systems, Proceedings POPL'06, pp.180-193, 2006.

J. Cortadella, A. Kondratyev, L. Lavagno, and C. Sotiriou, Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.25, issue.10, pp.1904-1921, 2006.
DOI : 10.1109/TCAD.2005.860958

S. Dasgupta, D. Potop-butucaru, B. Caillaud, and A. Yakovlev, Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits, Proceedings RR, pp.81-103, 2006.
DOI : 10.1016/j.entcs.2005.05.037

P. , L. Guernic, J. Talpin, and J. Lann, Polychrony for system design, Journal for Circuits, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00730480

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

R. Milner, Communication and Concurrency, 1989.

M. Nebut, Specification and analysis of synchronous reactions. Formal Aspects of Computing, pp.263-291, 2004.

D. Potop-butucaru, B. Caillaud, and A. Benveniste, Concurrency in Synchronous Systems, Formal Methods in System Design, vol.18, issue.2, pp.111-130, 2006.
DOI : 10.1007/s10703-006-7844-8
URL : https://hal.archives-ouvertes.fr/inria-00124252

D. Potop-butucaru, R. De-simone, and Y. Sorel, Deterministic execution of synchronous programs in an asynchronous environment. a compositional necessary and sufficient condition, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00322563

D. Potop-butucaru, R. De-simone, Y. Sorel, and J. Talpin, From concurrent multiclock programs to deterministic asynchronous implementations, Proceedings of the 9th Application of Concurrency to System Design Conference, ACSD'09, 2009.

J. Talpin, J. Ouy, T. Gautier, L. Besnard, and P. L. Guernic, Compositional design of isochronous systems, Science of Computer Programming, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00156499