A Generalized Event Structure for the Muller Unfolding of a Safe Net

Jeremy Gunawardena. A Generalized Event Structure for the Muller Unfolding of a Safe Net. In Eike Best, editor, CONCUR 93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Volume 715 of Lecture Notes in Computer Science, pages 278-292, Springer, 1993.

Abstract

Abstract is missing.