A calculus of durations
- 13 December 1991
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 40 (5), 269-276
- https://doi.org/10.1016/0020-0190(91)90122-x
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A temporal-logic based compositional proof system for real-time message passingLecture Notes in Computer Science, 1989
- Applications of temporal logic to the specification of real time systemsLecture Notes in Computer Science, 1988
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985