Event structures and trace monoids (Q1183599)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Event structures and trace monoids |
scientific article |
Statements
Event structures and trace monoids (English)
0 references
28 June 1992
0 references
The paper provides a strong relationship between trace monoids and labelled event structures, and characterizes trace monoids in terms of restricted class of labelled event structures. Using the notion of labelled prime configuration structures (equivalence of labelled event structures), the authors have been able to extend the results to trace languages.
0 references
concurrency
0 references
trace monoids
0 references
event structures
0 references
