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.
Abstract is missing.