Turing universality of the Biochemical Ground Form (Q3550701): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56981958
@@ Property / Wikidata QID: Q56981958 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of a stochastic name-passing calculus to representation and simulation of molecular processes
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational strength of pure ambient calculi
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Power of Biochemistry
@@ Property / cites work: On the Computational Power of Biochemistry / rank @@
+Normal rank
@@ Property / cites work @@
+On process rate semantics
@@ Property / cites work: On process rate semantics / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of recursion, replication and iteration in process calculi
+Normal rank
@@ Property / cites work @@
+Termination Problems in Chemical Kinetics
@@ Property / cites work: Termination Problems in Chemical Kinetics / rank @@
+Normal rank
@@ Property / cites work @@
+Computation with finite stochastic chemical reaction networks
+Normal rank