Refinement of actions in event structures and causal trees
- 13 September 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 118 (1) , 21-48
- https://doi.org/10.1016/0304-3975(93)90361-v
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Axiomatising Finite Concurrent ProcessesSIAM Journal on Computing, 1988
- Concurrency and atomicityTheoretical Computer Science, 1988
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981