Geometric logic, causality and event structures
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 266-280
- https://doi.org/10.1007/3-540-54430-5_94
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Power domains and predicate transformers: A topological viewPublished by Springer Nature ,2005
- Causal Automata I: Confluence ≡ {AND, OR} CausalityPublished by Springer Nature ,1990
- Event structures and domainsTheoretical Computer Science, 1989
- Equivalence notions for concurrent systems and refinement of actionsPublished by Springer Nature ,1989
- Some behavioural aspects of net theoryLecture Notes in Computer Science, 1988
- Event structuresPublished by Springer Nature ,1987
- The point of pointless topologyBulletin of the American Mathematical Society, 1983
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981