Modular verification of chemical reaction network encodings via serializability analysis (Q288812): Difference between revisions

@@ Property / describes a project that uses @@
+Visual DSD
@@ Property / describes a project that uses: Visual DSD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PoplMark
@@ Property / describes a project that uses: PoplMark / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q37015209
@@ Property / Wikidata QID: Q37015209 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.06.033
+Normal rank
@@ Property / OpenAlex ID @@
+W2251260883
@@ Property / OpenAlex ID: W2251260883 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Turing-Universal Computation with DNA Polymers
+Normal rank
@@ Property / cites work @@
+Deterministic Function Computation with Chemical Reaction Networks
+Normal rank
@@ Property / cites work @@
+The serializability of concurrent database updates
+Normal rank
@@ Property / cites work @@
+A simple population protocol for fast robust approximate majority
+Normal rank
@@ Property / cites work @@
+Two-domain DNA strand displacement
@@ Property / cites work: Two-domain DNA strand displacement / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Verification of DNA Strand Displacement Networks via Serializability Analysis
+Normal rank
@@ Property / cites work @@
+Probabilistic model checking of complex biological pathways
+Normal rank
@@ Property / cites work @@
+Computation with finite stochastic chemical reaction networks
+Normal rank
@@ Property / cites work @@
+Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems
+Normal rank
@@ Property / cites work @@
+Localized Hybridization Circuits
@@ Property / cites work: Localized Hybridization Circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel and Scalable Computation and Spatial Dynamics with DNA-Based Chemical Reaction Networks on a Surface
+Normal rank
@@ Property / cites work @@
+Functional Analysis of Large-Scale DNA Strand Displacement Circuits
+Normal rank
@@ Property / cites work @@
+DNA Walker Circuits: Computational Potential, Design, and Verification
+Normal rank
@@ Property / cites work @@
+Q4621150
@@ Property / cites work: Q4621150 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Bounds for Chemical Reaction Networks and Strand Displacement Systems
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/LakinSP16
@@ Property / DBLP publication ID: journals/tcs/LakinSP16 / rank @@
+Normal rank