Causal Automata I: Confluence ≡ {AND, OR} Causality

This publication has 4 references indexed in Scilit:

• Permutation of transitions: An event structure semantics for CCS and SCCS
  Published by Springer Nature ,1989
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980