Event Structures, Causal Trees, and Refinements

Philippe Darondeau, Pierpaolo Degano. Event Structures, Causal Trees, and Refinements. In Branislav Rovan, editor, Mathematical Foundations of Computer Science 1990, MFCS 90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings. Volume 452 of Lecture Notes in Computer Science, pages 239-245, Springer, 1990.

@inproceedings{DarondeauD90:0,
  title = {Event Structures, Causal Trees, and Refinements},
  author = {Philippe Darondeau and Pierpaolo Degano},
  year = {1990},
  tags = {refinement},
  researchr = {https://researchr.org/publication/DarondeauD90%3A0},
  cites = {0},
  citedby = {0},
  pages = {239-245},
  booktitle = {Mathematical Foundations of Computer Science 1990, MFCS 90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings},
  editor = {Branislav Rovan},
  volume = {452},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52953-5},
}