A Temporal Logic for Event Structures
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and LinguisticsPublished by Springer Nature ,1976