Metrics for labelled Markov processes (Q596029): Difference between revisions

@@ Property / cites work @@
+Axiomatizing probabilistic processes: ACP with generative probabilities
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic processes
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing preorders for probabilistic processes
@@ Property / cites work: Testing preorders for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023085
@@ Property / cites work: Q4023085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750448
@@ Property / cites work: Q5750448 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Q4881152
@@ Property / cites work: Q4881152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375489
@@ Property / cites work: Q4375489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3798616
@@ Property / cites work: Q3798616 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic propositional temporal logics
@@ Property / cites work: Probabilistic propositional temporal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731958
@@ Property / cites work: Q3731958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Receptive process theory
@@ Property / cites work: Receptive process theory / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223011
@@ Property / cites work: Q4223011 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533878
@@ Property / cites work: Q5533878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417860
@@ Property / cites work: Q4417860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Stochastic modelling of flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+Composition and behaviors of probabilistic I/O automata
+Normal rank