Verifying chemical reaction network implementations: a bisimulation approach
DOI10.1007/978-3-319-43994-5_8zbMATH Open1423.68287OpenAlexW2511413624MaRDI QIDQ2835707FDOQ2835707
Authors: Robert F. Johnson, Qing Dong, Erik Winfree 
Publication date: 30 November 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://resolver.caltech.edu/CaltechAUTHORS:20190617-104717955
Recommendations
- Verifying chemical reaction network implementations: a bisimulation approach
- Verifying polymer reaction networks using bisimulation
- Verifying chemical reaction network implementations: a pathway decomposition approach
- Forward and backward bisimulations for chemical reaction networks
- Modular verification of chemical reaction network encodings via serializability analysis
Biochemistry, molecular biology (92C40) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Efficient Turing-universal computation with DNA polymers
- Relationships between nondeterministic and deterministic tape complexities
- Title not available (Why is that?)
- Modular verification of chemical reaction network encodings via serializability analysis
- A simple population protocol for fast robust approximate majority
- Two-domain DNA strand displacement
- The covering and boundedness problems for vector addition systems
Cited In (11)
- Runtime verification for biochemical programs
- Forward and backward bisimulations for chemical reaction networks
- Verifying polymer reaction networks using bisimulation
- Testing binomiality of chemical reaction networks using comprehensive Gröbner systems
- Modular verification of chemical reaction network encodings via serializability analysis
- Syntactic Markovian bisimulation for chemical reaction networks
- Verifying chemical reaction network implementations: a pathway decomposition approach
- Population-induced phase transitions and the verification of chemical reaction networks
- Verifying chemical reaction network implementations: a bisimulation approach
- Computing with chemical reaction networks: a tutorial
- A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
Uses Software
This page was built for publication: Verifying chemical reaction network implementations: a bisimulation approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835707)
