Determinism → (event structure isomorphism = step sequence equivalence)

• Authors:

• Frits W. Vaandrager

• Affiliations:

• Centre for Mathematics and Computer Science, Amsterdam, The Netherlands

• Venue:
• Theoretical Computer Science - Special issue: Part B: Logic, semantics, and theory of programming
• Year:
• 1991