Using mappings to prove timing properties

This publication has 10 references indexed in Scilit:

• 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 Bounds for Real-Time Process Control in the Presence of Timing Uncertainty
  Published by Defense Technical Information Center (DTIC) ,1989
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
  IEEE Transactions on Computers, 1987
• 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
• Real-time programming and asynchronous message passing
  Published by Association for Computing Machinery (ACM) ,1983
• Real-Time Behavior of Programs
  IEEE Transactions on Software Engineering, 1981
• Proving real-time properties of programs with temporal logic
  Published by Association for Computing Machinery (ACM) ,1981
• Economical solutions for the critical section problem in a distributed system (Extended Abstract)
  Published by Association for Computing Machinery (ACM) ,1977