“Sometimes” and “not never” revisited
- 2 January 1986
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 33 (1) , 151-178
- https://doi.org/10.1145/4904.4999
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Deciding full branching time logicInformation and Control, 1984
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Alternative semantics for temporal logicsTheoretical Computer Science, 1983
- Looping vs. repeating in dynamic logicInformation and Control, 1982
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Process logic: Expressiveness, decidability, completenessJournal of Computer and System Sciences, 1982
- Reasoning with time and chanceInformation and Control, 1982
- Characterizing correctness properties of parallel programs using fixpointsPublished by Springer Nature ,1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- The modal logic of programsPublished by Springer Nature ,1979