Process logic with regular formulas
- 1 January 1985
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 38 (2-3) , 307-322
- https://doi.org/10.1016/0304-3975(85)90225-7
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Dynamic LogicPublished by Springer Nature ,1984
- Temporal logic can be more expressiveInformation and Control, 1983
- Process logic: Expressiveness, decidability, completenessJournal of Computer and System Sciences, 1982
- An elementary proof of the completeness of PDLTheoretical Computer Science, 1981
- Star-free regular sets of ω-sequencesInformation and Control, 1979
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Two results on process logicInformation Processing Letters, 1979
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Algorithmic properties of structuresTheory of Computing Systems, 1967