First version of a data flow procedure language, In Lecture Notes in Computer Sci, vol.19, pp.362-376, 1974. ,
DOI : 10.1007/3-540-06859-7_145
Scheduling of conditional process graphs for the synthesis of embedded systems, In Proceedings of DATE, 1998. ,
From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings., 2003. ,
DOI : 10.1109/MEMCOD.2003.1210097
Signal--A data flow-oriented language for signal processing, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.34, issue.2, pp.362-374, 1986. ,
DOI : 10.1109/TASSP.1986.1164809
URL : https://hal.archives-ouvertes.fr/inria-00076178
POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, 2003. ,
DOI : 10.1142/S0218126603000763
URL : https://hal.archives-ouvertes.fr/hal-00730480
The synchronous dataflow programming language Lustre, Proceedings of the IEEE, pp.1305-1320, 1991. ,
Efficient scheduling of conditional behaviors for high-level synthesis, ACM Transactions on Design Automation of Electronic Systems, vol.7, issue.3, pp.380-412, 2002. ,
DOI : 10.1145/567270.567272
URL : https://hal.archives-ouvertes.fr/hal-00544901
Event-Triggered and Time-Triggered Control Paradigms ,
DOI : 10.1007/978-0-387-23044-3
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