Real-reward testing for probabilistic processes (Q2453107): Difference between revisions

@@ Property / author @@
+Yu-xin Deng
@@ Property / author: Yu-xin Deng / rank @@
+Normal rank
@@ Property / author @@
+Robert J. van Glabbeek
@@ Property / author: Robert J. van Glabbeek / rank @@
+Normal rank
@@ Property / author @@
+Matthew C. B. Hennessy
@@ Property / author: Matthew C. B. Hennessy / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2062879889
@@ Property / OpenAlex ID: W2062879889 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1201
@@ Property / arXiv ID: 1107.1201 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ 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 @@
+Q4965811
@@ Property / cites work: Q4965811 / 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 @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530626
@@ Property / cites work: Q4530626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Testing probabilistic automata
@@ Property / cites work: Testing probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank