Weak bisimulations for the Giry monad (Q3060190): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic for stochastic right coalgebras
@@ Property / cites work: Coalgebraic logic for stochastic right coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic coalgebraic logic
@@ Property / cites work: Stochastic coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Relations
@@ Property / cites work: Stochastic Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
+Normal rank
@@ Property / cites work @@
+Nuclear and trace ideals in tensored \(^*\)-categories
+Normal rank
@@ Property / cites work @@
+Modular Algorithms for Heterogeneous Modal Logics
@@ Property / cites work: Modular Algorithms for Heterogeneous Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533878
@@ Property / cites work: Q5533878 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleisli morphisms and randomized congruences for the Giry monad
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3060190