Timed transition systems

This publication has 16 references indexed in Scilit:

• The existence of refinement mappings
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Temporal proof methodologies for real-time systems
  Published by Association for Computing Machinery (ACM) ,1991
• Half-order modal logic: how to prove real-time properties
  Published by Association for Computing Machinery (ACM) ,1990
• The anchored version of the temporal framework
  Published by Springer Nature ,1989
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988
• Compositional semantics for real-time distributed computing
  Information and Computation, 1988
• Applications of temporal logic to the specification of real time systems
  Published by Springer Nature ,1988
• A really abstract concurrent model and its temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Formal verification of parallel programs
  Communications of the ACM, 1976