Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations

DOI10.1016/j.ic.2008.08.002zbMath1156.18300OpenAlexW2054905142MaRDI QIDQ999266

Ernst-Erich Doberkat

Publication date: 3 February 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.08.002

zbMATH Keywords

Eilenberg-Moore algebrasGiry monadcomputation through monadsstochastic relationsKleisli construction

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Equational categories (18C05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items

The factorization of the Giry monad ⋮ The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Lattice properties of congruences for stochastic relations ⋮ A coalgebraic view on decorated traces ⋮ Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Termination in Convex Sets of Distributions ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability ⋮ Unnamed Item ⋮ Congruences of convex algebras.

Cites Work

• Eilenberg--Moore algebras for stochastic relations
• Banach spaces and totally convex spaces I
• Stochastic Relations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations