An Axiomatization of Event Structures

Madhavan Mukund, P. S. Thiagarajan. An Axiomatization of Event Structures. In C. E. Veni Madhavan, editor, Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings. Volume 405 of Lecture Notes in Computer Science, pages 143-160, Springer, 1989.

@inproceedings{MukundT89,
  title = {An Axiomatization of Event Structures},
  author = {Madhavan Mukund and P. S. Thiagarajan},
  year = {1989},
  researchr = {https://researchr.org/publication/MukundT89},
  cites = {0},
  citedby = {0},
  pages = {143-160},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings},
  editor = {C. E. Veni Madhavan},
  volume = {405},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52048-1},
}