Preemption in concurrent systems

This publication has 15 references indexed in Scilit:

• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Esterel on hardware
  Philosophical Transactions A, 1992
• A language for compositional specification and verification of finite state hardware controllers
  Proceedings of the IEEE, 1991
• Incremental development of an HDLC entity in Esterel
  Computer Networks and ISDN Systems, 1991
• Reactive C: An extension of C to program reactive systems
  Software: Practice and Experience, 1991
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Notes on Algebraic Calculi of Processes
  Published by Springer Nature ,1985
• An algebraic definition for control structures
  Theoretical Computer Science, 1980