Factoring stochastic relations (Q2390244): Difference between revisions

@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / 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 @@
+Q4112980
@@ Property / cites work: Q4112980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4396494
@@ Property / cites work: Q4396494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449236
@@ Property / cites work: Q4449236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5588717
@@ Property / cites work: Q5588717 / rank @@
+Normal rank