Using mappings to prove timing properties

This publication has 23 references indexed in Scilit:

• Forward and backward simulations for timing-based systems
  1992
• An old-fashioned recipe for real time
  1992
• Deciding properties of timed transition models
  IEEE Transactions on Parallel and Distributed Systems, 1990
• A framework for real-time discrete event control
  IEEE Transactions on Automatic Control, 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