Synchronous programming of reactive systems

This publication has 44 references indexed in Scilit:

• Mode-automata: About modes and states for reactive systems
  Published by Springer Nature ,1998
• The SL synchronous language
  IEEE Transactions on Software Engineering, 1996
• Compilation of the ELECTRE reactive language into finite transition systems
  Theoretical Computer Science, 1995
• Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
  IEEE Transactions on Software Engineering, 1992
• Implementing reactive programs on circuits a hardware implementation of LUSTRE
  Published by Springer Nature ,1992
• A language for compositional specification and verification of finite state hardware controllers
  Proceedings of the IEEE, 1991
• Reactive C: An extension of C to program reactive systems
  Software: Practice and Experience, 1991
• Hybrid dynamical systems theory and the Signal language
  IEEE Transactions on Automatic Control, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983