Hostname: page-component-6bf8c574d5-qdpjg Total loading time: 0 Render date: 2025-02-21T01:10:21.434Z Has data issue: false hasContentIssue false
  • English
  • Français

Monoids over domains

Published online by Cambridge University Press:  17 May 2006

MICHAEL MISLOVE
MICHAEL MISLOVE
Affiliation:
Department of Mathematics, Tulane University, New Orleans, LA 70118
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In this paper, we describe three distinct monoids over domains, each with a commutative analog, which define bag domain monoids. Our results were inspired by work by Varacca (Varacca 2003), and they lead to a constructive approach to his Hoare indexed valuations over a continuous poset $P$. We use our constructive approach to describe an analog of the probabilistic power domain, and the laws that characterise it, that forms a Scott-closed subset of Varacca's construct. We call these the Hoare random variables over$P$.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 16 , Issue 2 , April 2006 , pp. 255 - 277
Copyright
2006 Cambridge University Press