Monoids over domains

DOI10.1017/S0960129506005159MaRDI QIDQ5481592zbMATH OpenOpenAlexFDO

Authors Michael 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

domainsHoare indexed valuationsHoare random variablesordered monoids

Mathematics Subject Classification ID

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

Recommendations

• Discrete random variables over domains
• Anatomy of a domain of continuous random variables. II
• A monad for randomized algorithms
• Discrete random variables over domains, revisited
• scientific article; zbMATH DE number 4179422

Cited in

(7)

• Discrete random variables over domains, revisited
• A monad for randomized algorithms
• Discrete random variables over domains
• scientific article; zbMATH DE number 5652507 (Why is no real title available?)
• Extending algebraic operations to D-completions
• Directed unions of local monoidal transforms and GCD domains
• scientific article; zbMATH DE number 6314691 (Why is no real title available?)

This page was built for publication: Monoids over domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5481592)