Determinism → (event structure isomorphism = step sequence equivalence)

AbstractA concurrent system S is called determinism if for all states s of S we have that whenever S can evolve from state s into states s′ and s″ by doing an action a, it must be the case that s′ equals s″. It is well known that for deterministic concurrent systems, most of the interleaved equivalences (bisimulation-, failure-, trace-equivalence) coincide. In this paper we prove in the setting of event structures that also most of the non-interleaved equivalences coincide (with each other) on this domain. In the last section of the paper we show that, as a consequence of our result, the causal structure of a deterministic concurrent system can be unravelled by observers who are capable of observing the beginning and termination of events