Weak bisimulations for the Giry monad
From MaRDI portal
Publication:3060190
DOI10.1017/S0960129510000204zbMath1210.18003MaRDI QIDQ3060190
Publication date: 1 December 2010
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
18C20: Eilenberg-Moore and Kleisli constructions for monads
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Cites Work
- Unnamed Item
- Notions of computation and monads
- Kleisli morphisms and randomized congruences for the Giry monad
- Coalgebraic logic for stochastic right coalgebras
- Stochastic coalgebraic logic
- Nuclear and trace ideals in tensored \(^*\)-categories
- Stochastic Relations
- Modular Algorithms for Heterogeneous Modal Logics
- Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem