Modular Verification of DNA Strand Displacement Networks via Serializability Analysis (Q5168504): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-01928-4_10
+Normal rank
@@ Property / OpenAlex ID @@
+W146945102
@@ Property / OpenAlex ID: W146945102 / rank @@
+Normal rank
@@ Property / cites work @@
+Strand algebras for DNA computing
@@ Property / cites work: Strand algebras for DNA computing / rank @@
+Normal rank
@@ Property / cites work @@
+Two-domain DNA strand displacement
@@ Property / cites work: Two-domain DNA strand displacement / rank @@
+Normal rank
@@ Property / cites work @@
+The serializability of concurrent database updates
+Normal rank
@@ Property / cites work @@
+Deterministic Function Computation with Chemical Reaction Networks
+Normal rank
@@ Property / cites work @@
+Reachability Bounds for Chemical Reaction Networks and Strand Displacement Systems
+Normal rank
@@ Property / cites work @@
+A simple population protocol for fast robust approximate majority
+Normal rank
@@ Property / cites work @@
+Computation with finite stochastic chemical reaction networks
+Normal rank