A generalized nexttime operator in temporal logic
- 31 August 1984
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 29 (1) , 80-98
- https://doi.org/10.1016/0022-0000(84)90015-1
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- From State Machines to Temporal Logic: Specification Methods for Protocol StandardsIEEE Transactions on Communications, 1982
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Verifying Concurrent Processes Using Temporal LogicPublished by Springer Nature ,1982
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Infinite proof rules for loopsActa Informatica, 1980