Hostname: page-component-745bb68f8f-kw2vx Total loading time: 0 Render date: 2025-01-13T13:51:30.809Z Has data issue: false hasContentIssue false
  • English
  • Français

Two-domain DNA strand displacement

Published online by Cambridge University Press:  28 February 2013

LUCA CARDELLI
LUCA CARDELLI*
Affiliation:
Microsoft Research, J. J. Thomson Avenue, Cambridge, CB3 0FB, United Kingdom Email: luca@microsoft.com
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 23 , Special Issue 2: Developments In Computational Models 2010 , April 2013 , pp. 247 - 271
Copyright
Copyright © Cambridge University Press 2013

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Benenson, Y., Paz-Elizur, T., Adar, R., Keinan, E., Livneh, Z. and Shapiro, E. (2001) Programmable and Autonomous Computing Machine made of Biomolecules. Nature 414 (22).CrossRefGoogle ScholarPubMed
Berry, G. and Boudol, G. (1989) The Chemical Abstract Machine. Proceedings 17th POPL, ACM 81–94.Google Scholar
Cardelli, L. (2011) Strand Algebras for DNA Computing. Natural Computing 10 (1)407–428.CrossRefGoogle Scholar
Fontana, W. (2006) Science 314 (8).CrossRefGoogle Scholar
Green, S. J., Lubrich, D. and Turberfield, A. J. (2006) DNA Hairpins: Fuel for Autonomous DNA Devices. Biophysical Journal 91 2966–2975.CrossRefGoogle ScholarPubMed
Hagiya, M. (2004) Towards Molecular Programming. In: Ciobanu, G. and Rozenberg, G. (eds.) Modelling in Molecular Biology, Springer-Verlag.Google Scholar
Hinton, A., Kwiatkowska, M., Norman, G. and Parker, D. (2006) PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H. and Palsberg, J. (eds.) Proceedings 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06). Springer-Verlag Lecture Notes in Computer Science 3920 441–444.CrossRefGoogle Scholar
Milner, R. (1999) Communicating and Mobile Systems: The π-Calculus, Cambridge University Press.Google Scholar
Phillips, A. and Cardelli, L. (2009) A Programming Language for Composable DNA Circuits. Journal of the Royal Society Interface 6 S419–S436.CrossRefGoogle ScholarPubMed
Qian, L. and Winfree, E. (2011) A simple DNA gate motif for synthesizing large-scale circuits. Journal of the Royal Society Interface doi: 10.1098/rsif.2010.0729.CrossRefGoogle Scholar
Seelig, G., Soloveichik, D., Zhang, D. Y. and Winfree, E. (2006) Enzyme-Free Nucleic Acid Logic Circuits. Science 314 (8).CrossRefGoogle ScholarPubMed
Soloveichik, D., Seelig, G. and Winfree, E. (2010) DNA as a Universal Substrate for Chemical Kinetics. PNAS 107 (12)5393–5398.CrossRefGoogle ScholarPubMed
Yin, P., Choi, H. M. T., Calvert, C. R. and Pierce, N. A. (2008) Programming biomolecular self-assembly pathways. Nature 451 318–322.CrossRefGoogle ScholarPubMed
Yurke, B. and Mills, A. P. Jr. (2003) Using DNA to Power Nanostructures. Genetic Programming and Evolvable Machines Archive 4 (2)111–122.CrossRefGoogle Scholar
Zhang, D. Y. (2010) Dynamic DNA strand displacement circuits, Ph.D. Dissertation, California Institute of Technology. (Available at http://resolver.caltech.edu/CaltechTHESIS:05262010-173410602.)Google Scholar
Zhang, D. Y. (2011) Journal of the American Chemical Society 133 (4)1077–1086.CrossRefGoogle Scholar
Zhang, D. Y., Turberfield, A. J., Yurke, B. and Winfree, E. (2007) Engineering Entropy-driven Reactions and Networks Catalyzed by DNA. Science 318 1121–1125.CrossRefGoogle ScholarPubMed
Zhang, D. Y. and Seelig, G. (2011) Dynamic DNA nanotechnology using strand-displacement reactions. Nature Chemistry 3 103–113.CrossRefGoogle ScholarPubMed
Zhang, D. Y. and Winfree, E. (2009) Control of DNA Strand Displacement Kinetics Using Toehold Exchange. Journal of the American Chemical Society 131 (47)17303–17314.CrossRefGoogle ScholarPubMed