Algebra and Theory of Order-Deterministic Pomsets

  • Arend Rensink
  • Published 1996 in Notre Dame Journal of Formal Logic


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… (More)
DOI: 10.1305/ndjfl/1040046090