Bisimulations for non-deterministic labelled Markov processes (Q3225737): Difference between revisions

@@ Property / arXiv ID @@
+.3362
@@ Property / arXiv ID: 1011.3362 / 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 @@
+Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
+Normal rank
@@ Property / cites work @@
+A theory of stochastic systems. II: Process algebra
+Normal rank
@@ Property / cites work @@
+Bisimulation and cocongruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank