Hostname: page-component-cb9f654ff-9knnw Total loading time: 0 Render date: 2025-09-08T17:46:33.935Z 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
Get access Rights & Permissions [Opens in a new window]

Abstract

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$.

Information

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

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable