Deciding full branching time logic
- 30 June 1984
- journal article
- Published by Elsevier BV in Information and Control
- Vol. 61 (3), 175-201
- https://doi.org/10.1016/s0019-9958(84)80047-9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Alternative semantics for temporal logicsTheoretical Computer Science, 1983
- The sociology of normativism in Israeli HebrewInternational Journal of the Sociology of Language, 1983
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959