A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Modular verification of chemical reaction network encodings via serializability analysis
2016
Theoretical Computer Science
Chemical reaction networks are a powerful means of specifying the intended behaviour of synthetic biochemical systems. A high-level formal specification, expressed as a chemical reaction network, may be compiled into a lower-level encoding, which can be directly implemented in wet chemistry and may itself be expressed as a chemical reaction network. Here we present conditions under which a lower-level encoding correctly emulates the sequential dynamics of a high-level chemical reaction network.
doi:10.1016/j.tcs.2015.06.033
pmid:27325906
pmcid:PMC4911709
fatcat:4etq6rus7jfunpcrqwjzlvdybi