{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T15:42:35Z","timestamp":1791042155690,"version":"4.1.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,11,27]],"date-time":"2010-11-27T00:00:00Z","timestamp":1290816000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s11047-010-9236-7","type":"journal-article","created":{"date-parts":[[2010,11,26]],"date-time":"2010-11-26T04:24:27Z","timestamp":1290745467000},"page":"407-428","source":"Crossref","is-referenced-by-count":67,"title":["Strand algebras for DNA computing"],"prefix":"10.1007","volume":"10","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,11,27]]},"reference":[{"key":"9236_CR1","doi-asserted-by":"crossref","unstructured":"Angluin D, Aspnes J, Diamadi Z, Fischer MJ, Peralta R (2006) Computation in networks of passively mobile finite-state sensors. Distrib Comput 18:235\u2013253","DOI":"10.1007\/s00446-005-0138-3"},{"key":"9236_CR2","doi-asserted-by":"crossref","unstructured":"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\u2013434","DOI":"10.1038\/35106533"},{"key":"9236_CR3","unstructured":"Berry G, Boudol G (1989) The chemical abstract machine. In: Proceedings of the 17th POPL, ACM, pp 81\u201394"},{"key":"9236_CR4","doi-asserted-by":"crossref","unstructured":"Cardelli L (2009) Artificial biochemistry. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Springer, Berlin","DOI":"10.1007\/978-3-540-88869-7_22"},{"issue":"3","key":"9236_CR5","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/j.tcs.2007.11.012","volume":"391","author":"L Cardelli","year":"2008","unstructured":"Cardelli L (2008) On process rate semantics. Theor Comput Sci 391(3):190\u2013215","journal-title":"Theor Comput Sci"},{"key":"9236_CR6","unstructured":"Cardelli L (2009) Strand algebras for DNA computing (preliminary version). In: DNA computing and molecular programming, 15th International conference, DNA 15. LNCS 5877. Springer, pp 12\u201324"},{"issue":"1","key":"9236_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1017\/S0960129509990259","volume":"20","author":"L Cardelli","year":"2010","unstructured":"Cardelli L, Zavattaro G (2010) Turing universality of the biochemical ground form. Math Struct Comput Sci 20(1):45\u201373","journal-title":"Math Struct Comput Sci"},{"key":"9236_CR8","unstructured":"Cardelli L, Qian L, Soloveichik D, Winfree E (2009) Personal communications"},{"issue":"1","key":"9236_CR9","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V Danos","year":"2004","unstructured":"Danos V, Laneve C (2004) Formal molecular biology. Theor Comput Sci 325(1):69\u2013110","journal-title":"Theor Comput Sci"},{"key":"9236_CR10","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1137\/060651100","volume":"49","author":"RM Dirks","year":"2007","unstructured":"Dirks RM, Bois JS, Schaeffer JM, Winfree E, Pierce NA (2007) Thermodynamic analysis of interacting nucleic acid strands. SIAM Rev 49:65\u201388","journal-title":"SIAM Rev"},{"key":"9236_CR11","unstructured":"Fournet C, Gonthier G (2000) The join calculus: a language for distributed mobile programming. In: Proceedings of the Applied Semantics Summer School (APPSEM), Caminha, 9\u201315 September"},{"key":"9236_CR12","unstructured":"Hagiya M (2004) Towards molecular programming. In: Ciobanu G, Rozenberg G (eds) Modelling in molecular biology. Springer, Heidelberg"},{"issue":"1-3","key":"9236_CR13","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.tcs.2004.12.032","volume":"334","author":"L Kari","year":"2005","unstructured":"Kari L, Konstantinidis S, Sos\u00edk P (2005) On properties of bond-free DNA languages. Theor Comput Sci 334(1\u20133):131\u2013159","journal-title":"Theor Comput Sci"},{"issue":"3","key":"9236_CR14","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1089\/10665270152530818","volume":"8","author":"Marathe A.","year":"2001","unstructured":"Marathe A, Condon AE, Corn RM (2001) On combinatorial DNA word design. J Comp Biol 8(3):201\u2013219","journal-title":"J Comp Biol"},{"key":"9236_CR15","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R Milner","year":"1999","unstructured":"Milner R (1999) Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge"},{"key":"9236_CR16","doi-asserted-by":"crossref","first-page":"S419","DOI":"10.1098\/rsif.2009.0072.focus","volume":"6","author":"Phillips A.","year":"2009","unstructured":"Phillips A, Cardelli L (2009) A programming language for composable DNA circuits. J R Soc Interface 6:S419\u2013S436","journal-title":"J R Soc Interface"},{"key":"9236_CR17","doi-asserted-by":"crossref","unstructured":"Qian L, Winfree E (2008) A simple DNA gate motif for synthesizing large-scale circuits. In: Proceedings of the 14th international meeting on DNA computing","DOI":"10.1007\/978-3-642-03076-5_7"},{"key":"9236_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an introduction","author":"W Reisig","year":"1985","unstructured":"Reisig W (1985) Petri nets: an introduction. Springer-Verlag, Berlin"},{"issue":"1","key":"9236_CR19","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A Regev","year":"2004","unstructured":"Regev A, Panina EM, Silverman W, Cardelli L, Shapiro E (2004) BioAmbients: an abstraction for biological compartments. Theor Comput Sci 325(1):141\u2013167","journal-title":"Theor Comput Sci"},{"key":"9236_CR20","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0303-2647(99)00035-0","volume":"52","author":"K Sakamoto","year":"1999","unstructured":"Sakamoto K, Kiga D, Komiya K, Gouzu H, Yokoyama S, Ikeda S, Sugiyama H, Hagiya M (1999) State transitions by molecules. Biosystems 52:81\u201391","journal-title":"Biosystems"},{"key":"9236_CR21","doi-asserted-by":"crossref","unstructured":"Seelig G, Soloveichik D, Zhang DY, Winfree E (2006) Enzyme-free nucleic acid logic circuits. Science 314:1585\u20131588","DOI":"10.1126\/science.1132493"},{"key":"9236_CR22","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1007\/s11047-008-9067-y","volume":"7","author":"D Soloveichik","year":"2008","unstructured":"Soloveichik D, Cook M, Winfree E, Bruck J (2008) Computation with finite stochastic chemical reaction networks. Nat Comput 7:615\u2013633","journal-title":"Nat Comput"},{"key":"9236_CR23","doi-asserted-by":"crossref","unstructured":"Soloveichik D, Seelig G, Winfree E (2010) DNA as a universal substrate for chemical kinetics. PNAS. doi: 10.1073\/pnas.0909380107","DOI":"10.1073\/pnas.0909380107"},{"key":"9236_CR24","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1109\/TNB.2004.833694","volume":"3","author":"O Wolkenhauer","year":"2004","unstructured":"Wolkenhauer O, Ullah M, Kolch W, Cho K (2004) Modelling and simulation of intracellular dynamics: choosing an appropriate framework. IEEE Trans Nanobiosci 3:200\u2013207","journal-title":"IEEE Trans Nanobiosci"},{"key":"9236_CR25","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1038\/nature06451","volume":"451","author":"P Yin","year":"2008","unstructured":"Yin P, Choi HMT, Calvert CR, Pierce NA (2008) Programming biomolecular self-assembly pathways. Nature 451:318\u2013322","journal-title":"Nature"},{"key":"9236_CR26","doi-asserted-by":"crossref","unstructured":"Yurke B, Mills AP Jr (2003) Using DNA to power nanostructures. Genet Program Evolvable Mach 4(2):111\u2013122","DOI":"10.1023\/A:1023928811651"},{"key":"9236_CR27","doi-asserted-by":"crossref","unstructured":"Zavattaro G, Cardelli L (2008) Termination problems in chemical kinetics. In: van Breugel F, Chechik M (eds) CONCUR 2008\u2014concurrency theory, 19th international conference. LNCS 5201. Springer, pp 477\u2013491","DOI":"10.1007\/978-3-540-85361-9_37"},{"key":"9236_CR28","doi-asserted-by":"crossref","first-page":"1121","DOI":"10.1126\/science.1148532","volume":"318","author":"DY Zhang","year":"2007","unstructured":"Zhang DY, Turberfield AJ, Yurke B, Winfree E (2007) Engineering entropy-driven reactions and networks catalyzed by DNA. Science 318:1121\u20131125","journal-title":"Science"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9236-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-010-9236-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9236-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,14]],"date-time":"2021-11-14T05:12:20Z","timestamp":1636866740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-010-9236-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,27]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["9236"],"URL":"https:\/\/doi.org\/10.1007\/s11047-010-9236-7","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11,27]]}}}