A process algebra for probabilistic and nondeterministic processes (Q1607111): Difference between revisions

@@ Property / cites work @@
+Q2769588
@@ Property / cites work: Q2769588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / 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 @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank