Oxford logo
[CKW16] L. Cardelli, M. Kwiatkowska, M. Whitby. Chemical Reaction Network Designs for Asynchronous Logic Circuits. In Y. Rondelez and D. Woods (editors), Proc. 22nd International Conference on DNA Computing and Molecular Programming (DNA22), Springer. To appear. 2016. [pdf] [bib]
Downloads:  pdf pdf (2.11 MB)  bib bib
Notes: The original publication is available at link.springer.com.
Abstract. Chemical reaction networks (CRNs) are a versatile language for describing the dynamical behaviour of chemical kinetics, capable of modelling a variety of digital and analogue processes. While CRN designs for synchronous sequential logic circuits have been proposed and their implementation in DNA demonstrated, a physical realisation of these devices is difficult because of their reliance on a clock. Asynchronous sequential logic, on the other hand, does not require a clock, and instead relies on handshaking protocols to ensure the temporal ordering of diff erent phases of the computation. This paper provides novel CRN designs for the construction of asynchronous logic, arithmetic and control flow elements based on a bi-molecular reaction motif with uniform reaction rates. We model and validate the designs using Microsoft's GEC tool.