Specifying real-time properties with metric temporal logic
- 1 November 1990
- journal article
- research article
- Published by Springer Science and Business Media LLC in Real-Time Systems
- Vol. 2 (4), 255-299
- https://doi.org/10.1007/bf01995674
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Specifying message passing systems requires extending temporal logicPublished by Springer Science and Business Media LLC ,1989
- A temporal-logic based compositional proof system for real-time message passingLecture Notes in Computer Science, 1989
- Interleaving set temporal logicPublished by Association for Computing Machinery (ACM) ,1987
- Expressing interesting properties of programs in propositional temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- A really abstract concurrent model and its temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- Philosophical Perspectives on Quantification in Tense and Modal LogicPublished by Springer Science and Business Media LLC ,1984
- Quantification in Modal LogicPublished by Springer Science and Business Media LLC ,1984
- Basic Tense LogicPublished by Springer Science and Business Media LLC ,1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- An interval logic for higher-level temporal reasoningPublished by Association for Computing Machinery (ACM) ,1983