On Probabilistic Parallel Programs with Process Creation and Synchronisation (Q3000662): Difference between revisions

@@ Property / cites work @@
+On the Complexity of Numerical Analysis
@@ Property / cites work: On the Complexity of Numerical Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674726
@@ Property / cites work: Q5674726 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the memory consumption of probabilistic pushdown automata
+Normal rank
@@ Property / cites work @@
+Programming with exceptions in JCilk
@@ Property / cites work: Programming with exceptions in JCilk / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Computing the Least Fixed Point of Positive Polynomial Systems
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Recursive Concurrent Stochastic Games
@@ Property / cites work: Recursive Concurrent Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
+Normal rank
@@ Property / cites work @@
+Q5727090
@@ Property / cites work: Q5727090 / rank @@
+Normal rank
@@ Property / cites work @@
+On Probabilistic Parallel Programs with Process Creation and Synchronisation
+Normal rank
@@ Property / cites work @@
+Reachability problems on regular ground tree rewriting graphs
+Normal rank
@@ Property / cites work @@
+Local Versus Global Strategies for Adaptive Quadrature
+Normal rank
@@ Property / cites work @@
+Process rewrite systems.
@@ Property / cites work: Process rewrite systems. / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
+Normal rank