Journal article icon

Journal article

The formal language and design principles of autonomous DNA walker circuits

Abstract:

Simple computation can be performed using the interactions between single-stranded molecules of DNA. These interactions are typically toehold-mediated strand displacement reactions in a well-mixed solution. We demonstrate that a DNA circuit with tethered reactants is a distributed system and show how it can be described as a stochastic Petri net. The system can be verified by mapping the Petri net onto a continuous-time Markov chain, which can also be used to find an optimal design for the ci...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1021/acssynbio.5b00275

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Physics, Condensed Matter Physics
Role:
Author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Physics
Role:
Author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
More from this funder
Grant:
(FP7/2007-2013) Marie Curie Initial Training Network EScoDNA project 317110
Publisher:
American Chemical Society Publisher's website
Journal:
ACS Synthetic Biology Journal website
Volume:
5
Issue:
8
Pages:
878–884
Publication date:
2016-04-25
DOI:
EISSN:
2161-5063
ISSN:
2161-5063
URN:
uuid:f1366abe-0513-40dd-a271-7fb96cff1360
Source identifiers:
619401
Local pid:
pubs:619401
Paper number:
8

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP