A General Categorical Connection between Local Event Structures and Local Traces

Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary property. We consider the problem of lifting the categorical connection between prime event structures and Mazurkiewicz’ traces to this more general setting. Using a generic approach it is shown how certain subcategories of local event structures and local trace languages can be related. Moreover, every coreflection between subcategories generalizing the connection between prime event structures and Mazurkiewicz’ traces fits into this approach.

• Type: Conference
• Year: 1999
• Where: FCT
• Authors: H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
• Keywords: Applied Computing, Event Structures, FCT 1999, Local Event Structures, Prime Event Structures