A calculus of durations

This publication has 4 references indexed in Scilit:

• A temporal-logic based compositional proof system for real-time message passing
  Published by Springer Nature ,1989
• Applications of temporal logic to the specification of real time systems
  Published by Springer Nature ,1988
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• A Temporal Logic for Multilevel Reasoning about Hardware
  Computer, 1985