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
    0 references
    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

    Identifiers