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 different 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 catalytic reactions and uniform reaction rates. We model and validate the designs for the deterministic and stochastic semantics using Microsoft’s GEC tool and the probabilistic model checker PRISM, demonstrating their ability to emulate the function of asynchronous components under low molecular count.

中文翻译：

---

异步逻辑电路的化学反应网络设计。


化学反应网络 (CRN) 是一种用于描述化学动力学动态行为的通用语言，能够对各种数字和模拟过程进行建模。虽然已经提出了同步时序逻辑电路的 CRN 设计，并在 DNA 中演示了它们的实现，但这些设备的物理实现很困难，因为它们依赖于时钟。另一方面，异步时序逻辑不需要时钟，而是依赖握手协议来确保计算不同阶段的时间顺序。本文提供了新颖的 CRN 设计，用于构建基于具有催化反应和均匀反应速率的双分子反应主题的异步逻辑、算术和控制流元素。我们使用 Microsoft 的 GEC 工具和概率模型检查器 PRISM 对确定性和随机语义的设计进行建模和验证，展示了它们在低分子数下模拟异步组件功能的能力。