Refinement of Actions in Event Structures and Causal Trees

@article{Darondeau1993RefinementOA,
  title={Refinement of Actions in Event Structures and Causal Trees},
  author={Philippe Darondeau and Pierpaolo Degano},
  journal={Theor. Comput. Sci.},
  year={1993},
  volume={118},
  pages={21-48}
}
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