Determinism → (event structure isomorphism = step sequence equivalence)
Author:
- 1 February 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 79 (2) , 275-294
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Axiomatising Finite Concurrent ProcessesSIAM Journal on Computing, 1988
- Concurrency and atomicityTheoretical Computer Science, 1988
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987
- Event structures1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Petri nets: Basic notions, structure, behaviour1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Determinancy → (observation equivalence = trace equivalence)Theoretical Computer Science, 1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981