Verifying chemical reaction network implementations: a pathway decomposition approach
From MaRDI portal
Publication:2422010
DOI10.1016/j.tcs.2017.10.011zbMath1423.68292arXiv1411.0782OpenAlexW1581489132MaRDI QIDQ2422010
Chris Thachuk, Seung Woo Shin, Erik Winfree
Publication date: 18 June 2019
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1411.0782
formal verificationDNA computingmolecular computingmolecular programmingchemical reaction networksautomated design
Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Comparing chemical reaction networks: a categorical and algorithmic perspective ⋮ Computing with chemical reaction networks: a tutorial ⋮ Verifying polymer reaction networks using bisimulation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modular verification of chemical reaction network encodings via serializability analysis
- Strand algebras for DNA computing
- Persistence of vector replacement systems is decidable
- A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
- Reduction techniques for network validation in systems biology
- Petri nets and regular processes
- Bisimulation relations for weighted automata
- Verifying Chemical Reaction Network Implementations: A Bisimulation Approach
- Stochastic Simulation of the Kinetics of Multiple Interacting Nucleic Acid Strands
- Efficient Turing-Universal Computation with DNA Polymers
- Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems
- Symbolic transfer function-based approaches to certified compilation
- Rule-Based Modelling of Cellular Signalling
- Stochastic mechanics of graph rewriting
- Two-domain DNA strand displacement
- Space and Energy Efficient Computation with DNA Strand Displacement Systems
- CONCUR 2005 – Concurrency Theory