A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
Journal: Badelt S, Shin SW, Johnson RF, Dong Q, et al. , (). A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities Conference on DNA … . ,
Abstract:The mathematical formalism of mass-action chemical reaction networks (CRNs) has been proposed as a mid-level programming language for dynamic molecular systems. Several systematic methods for translating CRNs into domain-level strand displacement (DSD) …
URL: https://link.springer.com/chapter/10.1007/978-3-319-66799-7_15
