A real-time interval logic and its decision procedure
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 173-192
- https://doi.org/10.1007/3-540-57529-4_52
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A hardware semantics based on temporal intervalsPublished by Springer Nature ,2005
- A logic of concrete time intervalsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Parametric real-time reasoningPublished by Association for Computing Machinery (ACM) ,1993
- Back to the future: towards a theory of timed regular languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- A calculus of durationsInformation Processing Letters, 1991
- A propositional modal logic of time intervalsJournal of the ACM, 1991
- The benefits of relaxing punctualityPublished by Association for Computing Machinery (ACM) ,1991
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- A really abstract concurrent model and its temporal logicPublished by Association for Computing Machinery (ACM) ,1986