Using mappings to prove timing properties

This publication has 27 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Forward and backward simulations for timing-based systems
  Published by Springer Nature ,1992
• An old-fashioned recipe for real time
  Published by Springer Nature ,1992
• Deciding properties of timed transition models
  IEEE Transactions on Parallel and Distributed Systems, 1990
• The Spring kernel: a new paradigm for real-time operating systems
  ACM SIGOPS Operating Systems Review, 1989
• Reasoning about time in higher-level language software
  IEEE Transactions on Software Engineering, 1989
• Time-dependent distributed systems: proving safety, liveness and real-time properties
  Distributed Computing, 1987
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Proving real-time properties of programs with temporal logic
  ACM SIGOPS Operating Systems Review, 1981