Monoids over domains

DOI10.1017/S0960129506005159zbMath1113.06004OpenAlexW1974345364MaRDI QIDQ5481592

Michael W. Mislove

Publication date: 10 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129506005159

zbMATH Keywords

domainsordered monoidsHoare indexed valuationsHoare random variables

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Ordered semigroups and monoids (06F05) Continuous lattices and posets, applications (06B35)

Related Items (2)

Discrete random variables over domains ⋮ Extending algebraic operations to D-completions

This page was built for publication: Monoids over domains