Testing Finitary Probabilistic Processes (Q3184679): Difference between revisions

@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Testing Finitary Probabilistic Processes
@@ Property / cites work: Testing Finitary Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Testing Probabilistic Processes
@@ Property / cites work: Remarks on Testing Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Scalar Outcomes Suffice for Finitary Probabilistic Testing
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484498
@@ Property / cites work: Q4484498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5516046
@@ Property / cites work: Q5516046 / rank @@
+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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank