Ilaria Castellani, Paola Franceschi, Ugo Montanari. Labeled Event Structures: A Model for Observable Concurrency. In Dines Bjørner, editor, Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982. pages 383-400, North-Holland, 1982.
Abstract is missing.