On syntactic and semantic action refinement

This publication has 17 references indexed in Scilit:

• Bisimulation and action refinement
  Theoretical Computer Science, 1993
• Towards Action-Refinement in Process Algebras
  Information and Computation, 1993
• A2CCS: atomic actions for CCS
  Theoretical Computer Science, 1990
• Failures semantics based on interval semiwords is a congruence for refinement
  Published by Springer Nature ,1990
• Event structures, causal trees, and refinements
  Published by Springer Nature ,1990
• Equivalence notions for concurrent systems and refinement of actions
  Published by Springer Nature ,1989
• Fully abstract models for a process language with refinement
  Published by Springer Nature ,1989
• Permutation of transitions: An event structure semantics for CCS and SCCS
  Published by Springer Nature ,1989
• An introduction to event structures
  Published by Springer Nature ,1989
• Event structures
  Published by Springer Nature ,1987