Atomic refinement in process description languages

This publication has 15 references indexed in Scilit:

• Branching time and abstraction in bisimulation semantics
  Journal of the ACM, 1996
• Failures semantics based on interval semiwords is a congruence for refinement
  Distributed Computing, 1991
• Petri nets are monoids
  Information and Computation, 1990
• Refinement of actions in causality based models
  Published by Springer Nature ,1990
• Event structures, causal trees, and refinements
  Published by Springer Nature ,1990
• Concurrency and atomicity
  Theoretical Computer Science, 1988
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• Synchronization trees
  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