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)
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Eilenberg-Moore and Kleisli constructions for monads (18C20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
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