A Demonic Approach to Information in Probabilistic Systems (Q3184680): Difference between revisions

@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / 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 @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and cocongruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Theory of capacities
@@ Property / cites work: Theory of capacities / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Capacities on Continuous State Spaces
@@ Property / cites work: Continuous Capacities on Continuous State Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Least Upper Bounds for Probability Measures and Their Applications to Abstractions
+Normal rank
@@ Property / cites work @@
+Q5585437
@@ Property / cites work: Q5585437 / rank @@
+Normal rank