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

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A06
@@ Property / Mathematics Subject Classification ID: 06A06 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C15
@@ Property / Mathematics Subject Classification ID: 18C15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+J20
@@ Property / Mathematics Subject Classification ID: 60J20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q87
@@ Property / Mathematics Subject Classification ID: 68Q87 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6580864
@@ Property / zbMATH DE Number: 6580864 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebras
@@ Property / zbMATH Keywords: coalgebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+preorders
@@ Property / zbMATH Keywords: preorders / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+monads
@@ Property / zbMATH Keywords: monads / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probabilistic transition systems
@@ Property / zbMATH Keywords: probabilistic transition systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probabilistic bisimulation
@@ Property / zbMATH Keywords: probabilistic bisimulation / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2014.10.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2002923606
@@ Property / OpenAlex ID: W2002923606 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317836
@@ Property / Wikidata QID: Q113317836 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:283773