A programming language for composable DNA circuits

Journal of the Royal Society Interface

Volumn 6, Issue SUPPL. 4, 2009, Pages

  Phillips, Andrew ^a   Cardelli, Luca ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Circuits; Compositional; DNA computing; Programming language

Indexed keywords

ADA (PROGRAMMING LANGUAGE); AMPLIFICATION; C (PROGRAMMING LANGUAGE); CALCULATIONS; COMPUTER SCIENCE; COMPUTER SOFTWARE; DNA; DNA SEQUENCES; GENES; GENETIC PROGRAMMING; GRAFTING (CHEMICAL); LINGUISTICS; LOGIC CIRCUITS; NUCLEIC ACIDS; QUERY LANGUAGES; SIGNAL PROCESSING; SWITCHING CIRCUITS; SYNTHESIS (CHEMICAL);

ARBITRARY SYSTEMS; AUTOMATIC COMPILATION; BASIC ELEMENTS; BRANCH MIGRATION; CATALYTIC GATE; CIRCUITS; COMPOSITIONAL; DIGITAL LOGIC CIRCUIT; DNA COMPUTATION; DNA COMPUTING; DNA STRANDS; IMPLEMENTATION STRATEGIES; LARGE-SCALE CIRCUITS; MODELLING AND SIMULATIONS; MOLECULAR DETECTORS; NUCLEOTIDE SEQUENCES; PROCESSING CIRCUITS; PROGRAMMING LANGUAGE; SECONDARY STRUCTURES; SIGNAL AMPLIFICATIONS;

DIGITAL CIRCUITS;

DNA;

ARTICLE; AUTOMATION; CATALYTIC SIGNAL AMPLIFICATION CIRCUIT; CHEMICAL REACTION; CHEMICAL REACTION KINETICS; COMPUTER LANGUAGE; COMPUTER SIMULATION; DIGITAL LOGIC CIRCUIT; DNA SEQUENCE; DNA STRAND; DNA STRAND DISPLACEMENT; DNA SYNTHESIS; INFORMATION PROCESSING; MATHEMATICAL COMPUTING; NONHUMAN; NUCLEOTIDE SEQUENCE; PROTEIN SECONDARY STRUCTURE;

EID: 67650657139     PISSN: 17425689     EISSN: 17425662     Source Type: Journal    
DOI: 10.1098/rsif.2009.0072.focus     Document Type: Article

References (29)

1. Adleman, L. M. 1994 Molecular computation of solutions to combinatorial problem. Science 226, 1021-1024. (doi:10. 1126/science.7973651)
2. Amos, M. 2005 Theoretical and experimental DNA computation. Berlin, Germany: Springer.
3. Benenson, Y., Paz-Elizur, T., Adar, R., Keinan, E., Livneh, Z. & Shapiro, E. 2001 Programmable and autonomous computing machine made of biomolecules. Nature 414, 430-434. (doi:10.1038/35106533) (Pubitemid 34173721)
4. Benenson, Y., Adar, R., Paz-Elizur, T., Livneh, Z. & Shapiro, E. 2003 DNA molecule provides a computing machine with both data and fuel. Proc. Natl Acad. Sci. USA 100, 2191-2196. (doi:10.1073/pnas.0535624100)
5. Benenson, Y., Gil, B., Ben-Dor, U., Adar, R. & Shapiro, E. 2004 An autonomous molecular computer for logical control of gene expression. Nature 429, 423-429. (doi:10. 1038/nature02551) (Pubitemid 38715134)
6. Cardelli, L. 2009 Strand algebras for DNA computing. 15th Int. Meeting on DNA Computing. Berlin, Germany: Springer.
7. Danos, V., Feret, J., Fontana, W., Harmer, R. & Krivine, J. 2007 Rule-based modelling of cellular signalling. In Int. Conf. on Concurrency Theory. Lecture Notes in Computer Science, vol.4703, pp. 17-41. Berlin, Germany: Springer.
8. Green, C. & Tibbetts, C. 1981 Reassociation rate limited displacement of DNA strands by branch migration. Nucleic Acids Res. 9, 1905-1918. (doi:10.1093/nar/9.8. 1905)
9. Kari, L., Paun, G., Rozenberg, G., Salomaa, A. & Yu, S. 1998 DNA computing, sticker systems, and universality. Acta Inform. 35, 401-420. (doi:10.1007/s002360050125) (Pubitemid 128068383)
10. Kari, L., Konstantinidis, S. & Sosik, P. 2005 On properties of bond-free DNA languages. Theor. Comput. Sci. 334, 131-159. (doi:10.1016/j.tcs. 2004.12.032)
11. Marathe, A., Condon, A. E. & Corn, R. M. 2001 On combinatorial DNA word design. J. Comput. Biol. 8, 201-219. (doi:10.1089/10665270152530818)
12. Milner, R. 1999 Communicating and mobile systems: the π-calculus. Cambridge, UK: Cambridge University Press.
13. Paun, G. & Rozenberg, G. 1998 Sticker systems. Theor. Comput. Sci. 204, 183-203. (doi:10.1016/S0304-3975(98) 00039-5)
14. Paun, G., Rozenberg, G. & Salomaa, A. 1998 DNA computing: new computing paradigms. Berlin, Germany: Springer.
15. Phillips, A. 2009 The DNA strand displacement language and simulator. See http://research.microsoft.com/dna.
16. Phillips, A. & Cardelli, L. 2007 Efficient, correct simulation of biological processes in the stochastic pi-calculus. In Computational methods in systems biology. Lecture Notes in Computer Science, vol.4695, pp. 184-199. Berlin, Germany: Springer.
17. Priami, C. 1995 Stochastic π-calculus. Comput. J. 38, 578-589. (doi:10.1093/comjnl/38.7.578)
18. Qian, L. & Winfree, E. 2008 A simple DNA gate motif for synthesizing large-scale circuits. 14th Int. Meeting on DNA Computing. Berlin, Germany: Springer.
19. Sakamoto, K., Gouzu, H., Komiya, K., Kiga, D., Yokoyama, S., Yokomori, T. & Hagiya, M. 2000 Molecular computation by DNA hairpin formation. Science 288, 1223-1226. (doi:10.1126/science.288.5469.1223) (Pubitemid 30367195)
20. Sangiorgi, D. & Walker, D. 2001 The π-calculus: a theory of mobile processes. Cambridge, UK: Cambridge University Press.
21. Seelig, G., Soloveichik, D., Zhang, D. Y. & Winfree, E. 2006 Enzyme-free nucleic acid logic circuits. Science 314, 1585-1588. (doi:10.1126/science.1132493) (Pubitemid 44907149)
22. Soloveichik, D., Seelig, G. & Winfree, E. 2008 DNA as a universal substrate for chemical kinetics. 14th Int. Meeting on DNA Computing. Berlin, Germany: Springer.
23. Turner, D. N. 1996 The polymorphic pi-calculus: theory and implementation. PhD thesis, Edinburgh University.
24. Venkataraman, S., Dirks, R. M., Rothemund, P. W. K., Winfree, E. & Pierce, N. A. 2007 An autonomous polymerization motor powered by DNA hybridization. Nature Nanotechnol. 2, 490-494. (doi:10.1038/nnano. 2007.225) (Pubitemid 47220071)
25. Yin, P., Choi, H. M. T., Calvert, C. R. & Pierce, N. A. 2008 Programming biomolecular self-assembly pathways. Nature 451, 318-322. (doi:10.1038/nature06451)
26. Yurke, B. & Mills Jr, A. P., 2003 Using DNA to power nanostructures. Genet. Program. Evolvable Mach. 4, 111-122. (doi:10.1023/A:1023928811651)
27. Yurke, B., Turberfield, A. J., Mills Jr, A. P., Simmel, F. C. & Neumann, J. L. 2000 A DNA-fuelled molecular machine made of DNA. Nature 406, 605-608. (doi:10.1038/ 35020524) (Pubitemid 30641042)
28. Zhang, D. Y., Turberfield, A. J., Yurke, B. &Winfree, E. 2007 Engineering entropy-driven reactions and networks catalyzed by DNA. Science 318, 1121-1125. (doi:10.1126/ science.1148532)
29. Zuker, M. 2003 Mfold web server for nucleic acid folding and hybridization prediction. Nucleic Acids Res. 31, 3406-3415. (doi:10.1093/nar/ gkg595) (Pubitemid 37442169)