Semantics and completeness of Duration Calculus
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 209-225
- https://doi.org/10.1007/bfb0031994
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A hardware semantics based on temporal intervalsPublished by Springer Nature ,2005
- Duration specifications for shared processorsPublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991
- Specifying and verifying requirements of real-time systemsACM SIGSOFT Software Engineering Notes, 1991
- Specification and Compositional Verification of Real-Time SystemsPublished by Springer Nature ,1991
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990
- A temporal-logic based compositional proof system for real-time message passingPublished by Springer Nature ,1989
- Applications of temporal logic to the specification of real time systemsPublished by Springer Nature ,1988
- Metric spaces as models for real-time concurrencyPublished by Springer Nature ,1988
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985