The converse of a stochastic relation (Q1764800): Difference between revisions

@@ Property / cites work @@
+Nuclear and trace ideals in tensored \(^*\)-categories
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q2740887
@@ Property / cites work: Q2740887 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic automata: stability, nondeterminism, and prediction
+Normal rank
@@ Property / cites work @@
+Q4417862
@@ Property / cites work: Q4417862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449236
@@ Property / cites work: Q4449236 / rank @@
+Normal rank
@@ Property / cites work @@
+ER modelling from first relational principles
@@ Property / cites work: ER modelling from first relational principles / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-pullbacks and bisimulation in categories of Markov processes
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and descriptive set theory
@@ Property / cites work: Topology and descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533878
@@ Property / cites work: Q5533878 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4396494
@@ Property / cites work: Q4396494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank