Causal trees interleaving + causality

This publication has 18 references indexed in Scilit:

• On the consistency of 'truly concurrent' operational and denotational semantics
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Equivalence notions for concurrent systems and refinement of actions
  Published by Springer Nature ,1989
• Causal trees
  Published by Springer Nature ,1989
• Process theory based on bisimulation semantics
  Published by Springer Nature ,1989
• A distributed operational semantics for CCS based on condition/event systems
  Acta Informatica, 1988
• Concurrency and atomicity
  Theoretical Computer Science, 1988
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• Process algebra for synchronous communication
  Information and Control, 1984
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981