Fair synchronous transition systems and their liveness proofs

This publication has 9 references indexed in Scilit:

• Compositionality in dataflow synchronous languages: specification & code generation
  Lecture Notes in Computer Science, 1998
• Fair synchronous transition systems and their liveness proofs
  1998
• Conjoining specifications
  ACM Transactions on Programming Languages and Systems, 1995
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• Synchronous Programming of Reactive Systems
  1993
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• LUSTRE: a declarative language for real-time programming
  1987