期刊
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
卷 23, 期 2, 页码 247-271出版社
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S0960129512000102
关键词
-
We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand. To preserve this structural invariant, we impose restrictions on the single strands they interact with: we consider only two-domain single strands consisting of one toehold domain and one recognition domain. We study fork and join signal processing gates based on these structures, and show that these systems are amenable to formalisation and mechanical verification.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据