Data-flow synchronous languages

This publication has 16 references indexed in Scilit:

• A denotational theory of synchronous reactive systems
  Information and Computation, 1992
• Clocks in dataflow languages
  Theoretical Computer Science, 1992
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• The ESTEREL language
  Proceedings of the IEEE, 1991
• A report on the sisal language project
  Journal of Parallel and Distributed Computing, 1990
• Hybrid dynamical systems theory and the Signal language
  IEEE Transactions on Automatic Control, 1990
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• Proposition de semantique denotationnelle pour des reseaux de processus avec operateur de melange equitable
  Theoretical Computer Science, 1982