Refinement of Actions in Event Structures and Causal Trees

  title={Refinement of Actions in Event Structures and Causal Trees},
  author={Philippe Darondeau and Pierpaolo Degano},
  journal={Theor. Comput. Sci.},
Darondeau, Ph. and P. Degano, Refinement of actions in event structures and causal trees, Theoretical Computer Science 118 (1993) 21-48. Refinement of actions allows one to design systems in a top-down style, changing the level of abstraction by interpreting actions on a higher level by more complicated processes on a lower level. We study action refinement in two connected models for true concurrency. The first model is an adaptation of prime event structures, called d-free event structures… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS