A General Categorical Connection between Local Event Structures and Local Traces

Authors:
H. C. M. Kleijn;Rémi Morin;Brigitte Rozoy
Affiliations:
-;-;-
Venue:
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Year:
1999

Citing 8
Cited 0

Basic category theory for computer scientists

Basic category theory for computer scientists
Event structures and trace monoids

Theoretical Computer Science
A trace semantics for Petri nets

Information and Computation
Models for concurrency

Handbook of logic in computer science (vol. 4)
An event structure semantics for general Petri nets

Theoretical Computer Science - Special volume on Petri nets
On Relating Some Models for Concurrency

TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Relationships Between Models of Concurrency

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Relationships Between Models of Concurrency

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.