The benefits of relaxing punctuality
- 1 January 1996
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 43 (1) , 116-146
- https://doi.org/10.1145/227595.227602
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- A really temporal logicJournal of the ACM, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Real-Time Logics: Complexity and ExpressivenessInformation and Computation, 1993
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Propositional dynamic logic of nonregular programsJournal of Computer and System Sciences, 1983