Weak bisimulations for the Giry monad
DOI10.1017/S0960129510000204zbMATH Open1210.18003MaRDI QIDQ3060190FDOQ3060190
Authors: Ernst-Erich Doberkat 
Publication date: 1 December 2010
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
- Weak Bisimulations for the Giry Monad (Extended Abstract)
- Kleisli morphisms and randomized congruences for the Giry monad
- Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
- Eilenberg--Moore algebras for stochastic relations
- Weak bisimulation for coalgebras over order enriched monads
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Eilenberg-Moore and Kleisli constructions for monads (18C20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Stochastic coalgebraic logic
- Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
- Notions of computation and monads
- Stochastic Relations
- Nuclear and trace ideals in tensored \(^*\)-categories
- Kleisli morphisms and randomized congruences for the Giry monad
- Coalgebraic logic for stochastic right coalgebras
- Modular Algorithms for Heterogeneous Modal Logics
Cited In (12)
- Weak Bisimulations for the Giry Monad (Extended Abstract)
- The factorization of the Giry monad
- Kleisli morphisms and randomized congruences for the Giry monad
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Giry and the Machine
- Probability sheaves and the Giry monad
- Codensity and the Giry monad
- From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
- Quotienting the delay monad by weak bisimilarity
- A monad for probabilistic point processes
- Coalgebraic Weak Bisimulation from Recursive Equations over Monads
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial
This page was built for publication: Weak bisimulations for the Giry monad
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060190)
