{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T02:21:01Z","timestamp":1767666061407},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106033"},{"type":"electronic","value":"9783642106040"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10604-0_2","type":"book-chapter","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T10:25:00Z","timestamp":1257848700000},"page":"12-24","source":"Crossref","is-referenced-by-count":27,"title":["Strand Algebras for DNA Computing"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Benenson, Y., Paz-Elizur, T., Adar, R., Keinan, E., Livneh, Z., Shapiro, E.: Programmable and Autonomous Computing Machine made of Biomolecules. Nature\u00a0414(22) (November 2001)","DOI":"10.1038\/35106533"},{"key":"2_CR2","first-page":"81","volume-title":"Proc. 17th POPL","author":"G. Berry","year":"1989","unstructured":"Berry, G., Boudol, G.: The Chemical Abstract Machine. In: Proc. 17th POPL, pp. 81\u201394. ACM, New York (1989)"},{"key":"2_CR3","volume-title":"Algorithmic Bioprocesses","author":"L. Cardelli","year":"2009","unstructured":"Cardelli, L.: Artificial Biochemistry. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses. Springer, Heidelberg (2009)"},{"issue":"3","key":"2_CR4","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/j.tcs.2007.11.012","volume":"391","author":"L. Cardelli","year":"2008","unstructured":"Cardelli, L.: On Process Rate Semantics. Theoretical Computer Science\u00a0391(3), 190\u2013215 (2008)","journal-title":"Theoretical Computer Science"},{"key":"2_CR5","unstructured":"Cardelli, L., Qian, L., Soloveichik, D., Winfree, E.: Personal communications"},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V. Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science\u00a0325(1), 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45699-6_6","volume-title":"Applied Semantics","author":"C. Fournet","year":"2002","unstructured":"Fournet, C., Gonthier, G.: The Join Calculus: a Language for Distributed Mobile Programming. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, p. 268. Springer, Heidelberg (2002)"},{"key":"2_CR8","volume-title":"Modelling in Molecular Biology","author":"M. Hagiya","year":"2004","unstructured":"Hagiya, M.: Towards Molecular Programming. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology. Springer, Heidelberg (2004)"},{"issue":"1-3","key":"2_CR9","doi-asserted-by":"publisher","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.: On Properties of Bond-free DNA Languages. Theoretical Computer Science\u00a0334(1-3), 131\u2013159 (2005)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1089\/10665270152530818","volume":"8","author":"A. Marathe","year":"2001","unstructured":"Marathe, A., Condon, A.E., Corn, R.M.: On Combinatorial DNA Word Design. J. Comp. Biology\u00a08(3), 201\u2013219 (2001)","journal-title":"J. Comp. Biology"},{"key":"2_CR11","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Qian, L., Winfree, E.: A Simple DNA Gate Motif for Synthesizing Large-scale Circuits. In: Proc. 14th International Meeting on DNA Computing (2008)","DOI":"10.1007\/978-3-642-03076-5_7"},{"key":"2_CR13","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.: Petri Nets: An Introduction. Springer, Heidelberg (1985)"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"2_CR15","doi-asserted-by":"publisher","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.: State Transitions by Molecules. Biosystems\u00a052, 81\u201391 (1999)","journal-title":"Biosystems"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Seelig, G., Soloveichik, D., Zhang, D.Y., Winfree, E.: Enzyme-Free Nucleic Acid Logic Circuits. Science\u00a0314(8) (2006)","DOI":"10.1126\/science.1132493"},{"key":"2_CR17","unstructured":"Soloveichik, D., Seelig, G., Winfree, E.: DNA as a Universal Substrate for Chemical Kinetics. DNA14"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1038\/nature06451","volume":"451","author":"P. Yin","year":"2008","unstructured":"Yin, P., Choi, H.M.T., Calvert, C.R., Pierce, N.A.: Programming Biomolecular Self-assembly Pathways. Nature\u00a0451, 318\u2013322 (2008)","journal-title":"Nature"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1023\/A:1023928811651","volume":"4","author":"B. Yurke","year":"2003","unstructured":"Yurke, B., Mills Jr., A.P.: Using DNA to Power Nanostructures. Genetic Programming and Evolvable Machines archive\u00a04(2), 111\u2013122 (2003)","journal-title":"Genetic Programming and Evolvable Machines archive"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.1126\/science.1148532","volume":"318","author":"D.Y. Zhang","year":"2007","unstructured":"Zhang, D.Y., Turberfield, A.J., Yurke, B., Winfree, E.: Engineering Entropy-driven Reactions and Networks Catalyzed by DNA. Science\u00a0318, 1121\u20131125 (2007)","journal-title":"Science"}],"container-title":["Lecture Notes in Computer Science","DNA Computing and Molecular Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10604-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:31:37Z","timestamp":1606167097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10604-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106033","9783642106040"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10604-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}