Journal
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Volume 23, Issue 2, Pages 247-271Publisher
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S0960129512000102
Keywords
-
Categories
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available