Algebra and Theory of Order-Deterministic Pomsets

    Research output: Contribution to journalArticleAcademicpeer-review

    5 Citations (Scopus)
    114 Downloads (Pure)

    Abstract

    This paper is about partially ordered multisets (pomsets for short). We investigate a particular class of pomsets that we call order-deterministic, properly including all partially ordered sets, which satisfies a number of interesting properties: among other things, it forms a distributive lattice under pomset prefix (hence prefix closed sets of order-deterministic pomsets are prime algebraic), and it constitutes a reflective subcategory of the category of all pomsets. For the order-deterministic pomsets we develop an algebra with a sound and ($\omega$-) complete equational theory. The operators in the algebra are concatenation and join, the latter being a variation on the more usual disjoint union of pomsets. This theory is then extended in order to capture refinement of pomsets by incorporating homomorphisms between models as objects in the algebra and homomorphism application as a new operator.
    Original languageUndefined
    Article number10.1305/ndjfl/1040046090
    Pages (from-to)283-320
    Number of pages38
    JournalNotre Dame Journal of Formal Logic
    Volume37
    Issue number2
    DOIs
    Publication statusPublished - 1996

    Keywords

    • EWI-8293
    • IR-66660

    Cite this