Event structures and trace monoids (Q1183599)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Event structures and trace monoids |
scientific article; zbMATH DE number 33415
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Event structures and trace monoids |
scientific article; zbMATH DE number 33415 |
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
