Algebra and Theory of Order-Deterministic Pomsets

Share/Save/Bookmark

Rensink, A. (1996) Algebra and Theory of Order-Deterministic Pomsets. Notre Dame Journal of Formal Logic, 37 (2). pp. 283-320. ISSN 0029-4527

[img]
Preview
PDF
218Kb
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.
Item Type:Article
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66660
Official URL:http://dx.doi.org/10.1305/ndjfl/1040046090
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page