Weak bisimulations for the Giry monad
From MaRDI portal
Publication:3060190
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
Cites work
- scientific article; zbMATH DE number 3245885 (Why is no real title available?)
- Coalgebraic logic for stochastic right coalgebras
- Kleisli morphisms and randomized congruences for the Giry monad
- Modular Algorithms for Heterogeneous Modal Logics
- Notions of computation and monads
- Nuclear and trace ideals in tensored \(^*\)-categories
- Stochastic Relations
- Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
- Stochastic coalgebraic logic
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
- Codensity and the Giry monad
- Probability sheaves 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
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial
- Coalgebraic Weak Bisimulation from Recursive Equations over Monads
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)
