Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883): Difference between revisions

@@ Property / cites work @@
+Safe Equivalences for Security Properties
@@ Property / cites work: Safe Equivalences for Security Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Information hiding in probabilistic concurrent systems
+Normal rank
@@ Property / cites work @@
+Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theory of probabilistic and nondeterministic processes.
+Normal rank
@@ Property / cites work @@
+Making Random Choices Invisible to the Scheduler
@@ Property / cites work: Making Random Choices Invisible to the Scheduler / rank @@
+Normal rank
@@ Property / cites work @@
+Switched PIOA: parallel composition via distributed scheduling
+Normal rank
@@ Property / cites work @@
+A testing scenario for probabilistic processes
@@ Property / cites work: A testing scenario for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791844
@@ Property / cites work: Q4791844 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Finitary Probabilistic Processes
@@ Property / cites work: Testing Finitary Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Q5822308
@@ Property / cites work: Q5822308 / rank @@
+Normal rank
@@ Property / cites work @@
+EQUIVALENCE OF LABELED MARKOV CHAINS
@@ Property / cites work: EQUIVALENCE OF LABELED MARKOV CHAINS / rank @@
+Normal rank
@@ Property / cites work @@
+Retaining the Probabilities in Probabilistic Testing Theory
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Bisimilarity with Explicit Divergence
@@ Property / cites work: Branching Bisimilarity with Explicit Divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5635253
@@ Property / cites work: Q5635253 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing preorders for probabilistic processes can be characterized by simulations
+Normal rank
@@ Property / cites work @@
+Planning and acting in partially observable stochastic domains
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3868589
@@ Property / cites work: Q3868589 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification, testing and implementation relations for symbolic-probabilistic systems
+Normal rank
@@ Property / cites work @@
+Q3519383
@@ Property / cites work: Q3519383 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement-oriented probability for CSP
@@ Property / cites work: Refinement-oriented probability for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional equivalences for transition systems
@@ Property / cites work: Extensional equivalences for transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3694687
@@ Property / cites work: Q3694687 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Fair testing
@@ Property / cites work: Fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic communicating processes
@@ Property / cites work: Probabilistic communicating processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370247
@@ Property / cites work: Q4370247 / rank @@
+Normal rank
@@ Property / cites work @@
+Composition and behaviors of probabilistic I/O automata
+Normal rank