A duration calculus with infinite intervals
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Finite divergenceTheoretical Computer Science, 1995
- Model-checking discrete duration calculusFormal Aspects of Computing, 1994
- A calculus for hybrid sampled data systemsPublished by Springer Nature ,1994
- Towards a duration calculus proof assistant in PVSPublished by Springer Nature ,1994
- Linear duration invariantsPublished by Springer Nature ,1994
- Specifying and verifying requirements of real-time systemsIEEE Transactions on Software Engineering, 1993
- Duration Calculi: An overviewPublished by Springer Nature ,1993
- Semantics and completeness of Duration CalculusPublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991
- A Modal Logic for Chopping IntervalsJournal of Logic and Computation, 1991