The poset of infinitary traces (Q689293)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The poset of infinitary traces |
scientific article |
Statements
The poset of infinitary traces (English)
0 references
20 December 1993
0 references
The concept of partially commutative monoid (or trace monoid) has been extended to include infinite traces. It is shown that, similarly to the finite case, infinite trace monoids are strongly related to partially ordered sets, domain and event structures. It is proven that the set of finite and infinite traces with the prefix order is a Scott domain and coherently completely prime algebraic.
0 references
partially commutative monoid
0 references
infinite traces
0 references
partially ordered sets
0 references
domain and event structures
0 references
Scott domain
0 references
0 references
