The equational theory of pomsets (Q1119012)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The equational theory of pomsets
scientific article

    Statements

    The equational theory of pomsets (English)
    0 references
    0 references
    1988
    0 references
    A labeled partial order is a partially ordered set together with a labeling of each element (by a symbol from some alphabet). A partially- ordered multiset, or pomset, is an isomorphism class of some labeled partial order. Pomsets have been used as a model of concurrency and as an aid in understanding the semantics of parallel programs The author investigates the axiomatic properties of pomsets, sets of pomsets and ideals of pomsets. He shows, for example, that the equational theory of pomsets under the operations of concatenation, parallel composition and union is finitely axiomatizable. Similar results are obtained for ideals of pomsets.
    0 references
    partial order equational theory
    0 references
    pomset
    0 references
    semantics of parallel programs
    0 references

    Identifiers