Modular verification of chemical reaction network encodings via serializability analysis

Theor. Comput. Sci., Volume 632, Issue C, 2015.

Cited by: 15|Bibtex|Views22|Links
EI WOS
Keywords:
Chemical reaction networksDNA strand displacementModular verificationSerializability

Abstract:

Chemical reaction networks are a powerful means of specifying the intended behavior 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 reactio...More

Code:

Data:

Your rating :
0

 

Tags
Comments