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

@@ Property / author @@
-Diego Cazorla
@@ Property / author: Diego Cazorla / rank @@
-Normal rank
@@ Property / author @@
-Fernando Cuartero
@@ Property / author: Fernando Cuartero / rank @@
-Normal rank
@@ Property / author @@
-Valentin Valero
@@ Property / author: Valentin Valero / rank @@
-Normal rank
@@ Property / author @@
-Q1607110
@@ Property / author: Q1607110 / rank @@
-Normal rank
@@ Property / author @@
+Diego Cazorla
@@ Property / author: Diego Cazorla / rank @@
+Normal rank
@@ Property / author @@
+Fernando Cuartero
@@ Property / author: Fernando Cuartero / rank @@
+Normal rank
@@ Property / author @@
+Valentin Valero
@@ Property / author: Valentin Valero / rank @@
+Normal rank
@@ Property / author @@
+Fernando López Pelayo
@@ Property / author: Fernando López Pelayo / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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