Reactive EFSMs — Reactive Promela/RSPIN

This publication has 10 references indexed in Scilit:

• A partial order approach to branching time logic model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Combining partial order reductions with on-the-fly model-checking
  Published by Springer Nature ,1994
• Synchronous Programming of Reactive Systems
  Published by Springer Nature ,1993
• Communicating reactive processes
  Published by Association for Computing Machinery (ACM) ,1993
• Partial-order methods for temporal verification
  Published by Springer Nature ,1993
• The Semantics of Pure Esterel
  Published by Springer Nature ,1993
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• 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
• Signal--A data flow-oriented language for signal processing
  IEEE Transactions on Acoustics, Speech, and Signal Processing, 1986