Identifying all preorders on the subdistribution monad (Q283773): Difference between revisions

@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations II: Probabilistic Simulation
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics and simulation
@@ Property / cites work: Fixpoint semantics and simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q2843725
@@ Property / cites work: Q2843725 / rank @@
+Normal rank
@@ Property / cites work @@
+Preorders on Monads and Coalgebraic Simulations
@@ Property / cites work: Preorders on Monads and Coalgebraic Simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic systems coalgebraically: a survey
@@ Property / cites work: Probabilistic systems coalgebraically: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Congruences of convex algebras.
@@ Property / cites work: Congruences of convex algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank