A modal logic for a subclass of event structures
- 1 January 1987
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC 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 trendsPublished by Springer Science and Business Media LLC ,1986
- Decision procedures and expressiveness in the temporal logic of branching timeJournal of Computer and System Sciences, 1985
- Logics of knowledge, games and dynamic logicLecture Notes in Computer Science, 1984
- Basic Tense LogicPublished by Springer Science and Business Media LLC ,1984
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Event structure semantics for CCS and related languagesLecture Notes in Computer Science, 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