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, L. Carloni, P. Caspi, and A. Sangiovanni-vincentelli, Heterogenous reactive systems modeling and correct-by-construction deployment, Proceedings of EMSOFT'03, 2003.
DOI : 10.1007/978-3-540-45212-6_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.8673

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The Synchronous Languages Twelve Years Later, Proceedings of the IEEE, 2003.
DOI : 10.1109/jproc.2002.805826
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.6645

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

J. Berstel, Transductions and Context-Free Languages, Teubner Studienbücher, 1979.
DOI : 10.1007/978-3-663-09367-1
URL : https://hal.archives-ouvertes.fr/hal-00619779

B. Caillaud, D. Potop-butucaru, A. Benveniste, B. Benveniste, P. L. Caillaud et al., Erratum to: A Compositionality in Dataflow Synchronous Languages, Specification and Distributed Code Generation, Information and Computation, vol.163, pp.125-171, 2000.

C. 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, pp.1059-1076, 2001.
DOI : 10.1109/43.945302

V. Diekert and G. Rozenberg, The Book of Traces, World Scientific, 1995.
DOI : 10.1142/2563

P. C. Fischer and A. L. Rosenberg, Multitape one-way nonwriting automata, Journal of Computer and System Sciences, vol.2, issue.1, pp.88-101, 1968.
DOI : 10.1016/S0022-0000(68)80006-6
URL : http://doi.org/10.1016/s0022-0000(68)80006-6

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5059

N. Halbwachs, Synchronous programming of reactive systems, 1993.

H. Kopetz, Real-Time Systems, Design Principles for Distributed Embedded Applications, 1997.

P. , L. Guernic, T. Gauthier, M. L. Borgne, and C. L. Maire, Programming real-time applications with Signal, Proceedings of the IEEE, pp.1321-1336, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075114

N. Lynch and E. Stark, A proof of the Kahn principle for input/output automata, Information and Computation, vol.82, issue.1, pp.81-92, 1989.
DOI : 10.1016/0890-5401(89)90066-7

D. Potop-butucaru, The Kahn principle for networks of endochronous programs, Proceedings FMGALS2003, 2003.