K. Altisen, A. Clodic, F. Maraninchi, and . Et-Éric-rutten, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, Proceedings of the European Symposium on Programming, ESOP'03 number 2618 in LNCS, pp.174-188, 2003.
DOI : 10.1007/3-540-36575-3_13

A. Amar, P. Boulet, and E. P. Dumont, Projection of the Array-OL Specification Language onto the Kahn Process Network Computation Model, 8th International Symposium on Parallel Architectures,Algorithms and Networks (ISPAN'05), 2005.
DOI : 10.1109/ISPAN.2005.70
URL : https://hal.archives-ouvertes.fr/inria-00565167

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

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, 1987.
DOI : 10.1145/41625.41641

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N-sychronous Kahn networks, ACM Symp. on Principles of Programming Languages (PoPL'06), 2006.

J. Colaço, B. Pagano, and M. Pouzet, A Conservative Extension of Synchronous Dataflow with State Machines Jersey city, ACM International Conference on Embedded Software (EMSOFT'05), 2005.

G. Delaval and E. Rutten, A domain-specific language for multi-task systems, applying discrete controller synthesis, Proceedings of the 21st ACM Symposium on Applied Computing, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00000867

A. Demeure and Y. D. Gallo, An array approach for signal processing design, Sophia-Antipolis conference on Micro-Electronics (SAME'98), System-on-Chip Session, 1998.

J. B. Dennis, First version of a data flow procedure language, Programming Symposium, pp.362-376, 1974.
DOI : 10.1007/3-540-06859-7_145

P. Dumont and P. Boulet, Another multidimensional synchronous dataflow : Simulating ARRAY- OL in PTOLEMY II, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070490

A. Gamatié, E. Rutten, H. Yu, P. Boulet, and J. Dekeyser, Synchronous Modeling and Analysis of Data Intensive Applications, EURASIP Journal on Embedded Systems, vol.2008, issue.1, 2006.
DOI : 10.1007/BF01379404

N. Halbwachs and D. Pilaud, Use of a real-time declarative language for systolic array design and simulation, International Workshop on Systolic Arrays, 1986.

G. Kahn, The semantics of simple language for parallel programming, IFIP Congress of Information Processing, pp.471-475, 1974.

O. Labbani, J. Dekeyser, P. Boulet, and E. E. Rutten, Introducing control in the Gaspard2 data-parallel metamodel : Synchronous approach, Int'l Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES'05), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000911

F. Maraninchi and Y. Rémond, Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.219-254, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

C. Mauras, ALPHA : un langage équationnel pour la conception et la programmation d'architectures parallèles synchrones, 1989.

O. Michel, D. D. Vito, and J. Sansonnet, data-parallelism and data-flow, Proc. of the 9th International Symposium on Lucid and Intensional Programming, 1996.

F. Rocheteau and N. Halbwachs, POLLUX, a LUSTRE-based hardware design environment, Conference on Algorithms and Parallel VLSI Architectures II, 1991.

I. M. Smarandache, T. Gautier, and P. L. Guernic, Validation of mixed signal-alpha real-time systems through affine calculus on clock synchronisation constraints, World Congress on Formal Methods, pp.1364-1383, 1999.
DOI : 10.1007/3-540-48118-4_22
URL : https://hal.archives-ouvertes.fr/hal-00548887

J. Soula, P. Marquet, J. Dekeyser, and E. A. Demeure, Compilation Principle of a Specification Language Dedicated to Signal Processing, 6th International Conference on Parallel Computing Technologies (PaCT'2001), 2001.
DOI : 10.1007/3-540-44743-1_36

W. Thies, M. Karczmarek, and E. S. Amarasinghe, StreamIt: A Language for Streaming Applications, International Conference on Compiler Construction, 2002.
DOI : 10.1007/3-540-45937-5_14

W. W. Wadge and E. A. Ashcroft, LUCID, the dataflow programming language, 1985.