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

@@ Property / DOI @@
-.1016/j.jlap.2004.01.007
@@ Property / DOI: 10.1016/j.jlap.2004.01.007 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2004.01.007
+Normal rank
@@ Property / OpenAlex ID @@
+W1992257606
@@ Property / OpenAlex ID: W1992257606 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.JLAP.2004.01.007
@@ Property / DOI: 10.1016/J.JLAP.2004.01.007 / rank @@
+Normal rank