Temporal logic and causality in concurrent systems
- 1 January 1988
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 121-139
- https://doi.org/10.1007/3-540-50403-6_37
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Interleaving set temporal logicPublished by Association for Computing Machinery (ACM) ,1987
- A modal logic for a subclass of event structuresLecture Notes in Computer Science, 1987
- Net Models of Dynamically Evolving Data StructuresPublished by Springer Science and Business Media LLC ,1987
- Temporal Logic of ProgramsPublished by Springer Science and Business Media LLC ,1987
- On Lamport's comparison between linear and branching time temporal logicRAIRO. Informatique théorique, 1984
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- "Sometimes" and "not never" revisitedPublished by Association for Computing Machinery (ACM) ,1983
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- "Sometime" is sometimes "not never"Published by Association for Computing Machinery (ACM) ,1980