Two-domain DNA strand displacement

Mathematical Structures in Computer Science

Volumn 23, Issue 2, 2013, Pages 247-271

  Cardelli, Luca ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AND JOINS; COMPUTING POWER; DNA STRAND DISPLACEMENTS; DOUBLE STRANDS; FORMALISATION; MECHANICAL VERIFICATION; STRUCTURAL INVARIANTS;

COMPUTER APPLICATIONS; MATHEMATICAL TECHNIQUES;

SIGNAL PROCESSING;

EID: 84877976634     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129512000102     Document Type: Conference Paper

References (19)

1. 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).
2. Berry, G. and Boudol, G. (1989) The Chemical Abstract Machine. Proceedings 17th POPL, ACM 81-94.
3. Cardelli, L. (2011) Strand Algebras for DNA Computing. Natural Computing 10 (1) 407-428.
4. Fontana, W. (2006) Science 314 (8).
5. Green, S. J., Lubrich, D. and Turberfield, A. J. (2006) DNA Hairpins: Fuel for Autonomous DNA Devices. Biophysical Journal 91 2966-2975.
6. Hagiya, M. (2004) Towards Molecular Programming. In: Ciobanu, G. and Rozenberg, G. (eds.) Modelling in Molecular Biology, Springer-Verlag.
7. 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.
8. Milner, R. (1999) Communicating and Mobile Systems: The π-Calculus, Cambridge University Press.
9. Phillips, A. and Cardelli, L. (2009) A Programming Language for Composable DNA Circuits. Journal of the Royal Society Interface 6 S419-S436.
10. 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.
11. Seelig, G., Soloveichik, D., Zhang, D. Y. and Winfree, E. (2006) Enzyme-Free Nucleic Acid Logic Circuits. Science 314 (8).
12. Soloveichik, D., Seelig, G. and Winfree, E. (2010) DNA as a Universal Substrate for Chemical Kinetics. PNAS 107 (12) 5393-5398.
13. Yin, P., Choi, H.M.T., Calvert, C. R. and Pierce, N. A. (2008) Programming biomolecular selfassembly pathways. Nature 451 318-322.
14. Yurke, B. and Mills Jr., A. P. (2003) Using DNA to Power Nanostructures. Genetic Programming and Evolvable Machines Archive 4 (2) 111-122.
15. 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.)
16. Zhang, D.Y. (2011) Journal of the American Chemical Society 133 (4) 1077-1086.
17. 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.
18. Zhang, D.Y. and Seelig, G. (2011) Dynamic DNA nanotechnology using strand-displacement reactions. Nature Chemistry 3 103-113.
19. 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.