Event structures, causal trees, and refinements

This publication has 7 references indexed in Scilit:

• Towards action-refinement in process algebras
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Modelling Nondeterministic Concurrent Processes with Event Structures
  Fundamenta Informaticae, 1991
• Flow event structures and flow nets
  Lecture Notes in Computer Science, 1990
• Refinement of actions in causality based models
  Published by Springer Nature ,1990
• Parallel Product of Event Structures
  DAIMI Report Series, 1989
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980