A modal logic for a subclass of event structures
- 1 January 1987
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 290-303
- https://doi.org/10.1007/3-540-18088-5_24
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- How processes learnDistributed Computing, 1986
- The complexity of reasoning about knowledge and timePublished by Association for Computing Machinery (ACM) ,1986
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsLecture Notes in Computer Science, 1986
- Decision procedures and expressiveness in the temporal logic of branching timeJournal of Computer and System Sciences, 1985
- Logics of knowledge, games and dynamic logicPublished by Springer Nature ,1984
- Basic Tense LogicPublished by Springer Nature ,1984
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Event structure semantics for CCS and related languagesPublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977