{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T13:23:10Z","timestamp":1726060990837},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319019277"},{"type":"electronic","value":"9783319019284"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-01928-4_10","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T11:44:15Z","timestamp":1379504655000},"page":"133-146","source":"Crossref","is-referenced-by-count":10,"title":["Modular Verification of DNA Strand Displacement Networks via Serializability Analysis"],"prefix":"10.1007","author":[{"given":"Matthew R.","family":"Lakin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Phillips","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darko","family":"Stefanovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1038\/nchem.957","volume":"3","author":"D.Y. Zhang","year":"2011","unstructured":"Zhang, D.Y., Seelig, G.: Dynamic DNA nanotechnology using strand-displacement reactions. Nat. Chem.\u00a03(2), 103\u2013113 (2011)","journal-title":"Nat. Chem."},{"issue":"12","key":"10_CR2","doi-asserted-by":"publisher","first-page":"5393","DOI":"10.1073\/pnas.0909380107","volume":"107","author":"D. Soloveichik","year":"2010","unstructured":"Soloveichik, D., Seelig, G., Winfree, E.: DNA as a universal substrate for chemical kinetics. PNAS\u00a0107(12), 5393\u20135398 (2010)","journal-title":"PNAS"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s11047-010-9236-7","volume":"10","author":"L. Cardelli","year":"2010","unstructured":"Cardelli, L.: Strand algebras for DNA computing. Nat. Comput.\u00a010(1), 407\u2013428 (2010)","journal-title":"Nat. Comput."},{"issue":"68","key":"10_CR4","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1098\/rsif.2011.0343","volume":"9","author":"M.R. Lakin","year":"2012","unstructured":"Lakin, M.R., Youssef, S., Cardelli, L., Phillips, A.: Abstractions for DNA circuit design. JRS Interface\u00a09(68), 470\u2013486 (2012)","journal-title":"JRS Interface"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1017\/S0960129512000102","volume":"23","author":"L. Cardelli","year":"2013","unstructured":"Cardelli, L.: Two-domain DNA strand displacement. Math. Structures Comput. Sci.\u00a023, 247\u2013271 (2013)","journal-title":"Math. Structures Comput. Sci."},{"issue":"72","key":"10_CR6","doi-asserted-by":"publisher","first-page":"1470","DOI":"10.1098\/rsif.2011.0800","volume":"9","author":"M.R. Lakin","year":"2012","unstructured":"Lakin, M.R., Parker, D., Cardelli, L., Kwiatkowska, M., Phillips, A.: Design and analysis of DNA strand displacement devices using probabilistic model checking. JRS Interface\u00a09(72), 1470\u20131485 (2012)","journal-title":"JRS Interface"},{"issue":"4","key":"10_CR7","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C.H. Papadimitriou","year":"1979","unstructured":"Papadimitriou, C.H.: The serializability of concurrent database updates. Journal of the ACM\u00a026(4), 631\u2013653 (1979)","journal-title":"Journal of the ACM"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-32208-2_3","volume-title":"DNA Computing and Molecular Programming","author":"H.-L. Chen","year":"2012","unstructured":"Chen, H.-L., Doty, D., Soloveichik, D.: Deterministic function computation with chemical reaction networks. In: Stefanovic, D., Turberfield, A. (eds.) DNA18. LNCS, vol.\u00a07433, pp. 25\u201342. Springer, Heidelberg (2012)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Phillips, A., Cardelli, L.: A programming language for composable DNA circuits. JRS Interface\u00a06(Suppl.\u00a04), S419\u2013S436 (2009)","DOI":"10.1098\/rsif.2009.0072.focus"},{"issue":"22","key":"10_CR10","doi-asserted-by":"publisher","first-page":"3211","DOI":"10.1093\/bioinformatics\/btr543","volume":"27","author":"M.R. Lakin","year":"2011","unstructured":"Lakin, M.R., Youssef, S., Polo, F., Emmott, S., Phillips, A.: Visual DSD: A design and analysis tool for DNA strand displacement systems. Bioinformatics\u00a027(22), 3211\u20133213 (2011)","journal-title":"Bioinformatics"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-32208-2_4","volume-title":"DNA Computing and Molecular Programming","author":"A. Condon","year":"2012","unstructured":"Condon, A., Kirkpatrick, B., Ma\u0148uch, J.: Reachability bounds for chemical reaction networks and strand displacement systems. In: Stefanovic, D., Turberfield, A. (eds.) DNA18. LNCS, vol.\u00a07433, pp. 43\u201357. Springer, Heidelberg (2012)"},{"key":"10_CR12","unstructured":"Shin, S.W.: Compiling and verifying DNA-based chemical reaction network implementations. Master\u2019s thesis, California Institute of Technology (2012)"},{"issue":"2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s00446-008-0059-z","volume":"21","author":"D. Angluin","year":"2008","unstructured":"Angluin, D., Aspnes, J., Eisenstat, D.: A simple population protocol for fast robust approximate majority. Dist. Comput.\u00a021(2), 87\u2013102 (2008)","journal-title":"Dist. Comput."},{"key":"10_CR14","unstructured":"Dong, Q.: A bisimulation approach to verification of molecular implementations of formal chemical reaction networks. Master\u2019s thesis, Stony Brook University (2012)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Laneve, C.: Reversible structures. In: Fages, F. (ed.) CMSB 2011 Proceedings, pp. 131\u2013140. ACM (2011)","DOI":"10.1145\/2037509.2037529"},{"issue":"2","key":"10_CR16","first-page":"175","volume":"21","author":"L. Cardelli","year":"2011","unstructured":"Cardelli, L., Laneve, C.: Reversibility in massive concurrent systems. Sci. Ann. Comp. Sci.\u00a021(2), 175\u2013198 (2011)","journal-title":"Sci. Ann. Comp. Sci."},{"key":"10_CR17","doi-asserted-by":"publisher","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.: Computation with finite stochastic chemical reaction networks. Nat. Comput.\u00a07, 615\u2013633 (2008)","journal-title":"Nat. Comput."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Cook, M., Soloveichik, D., Winfree, E., Bruck, J.: Programmability of chemical reaction networks. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, pp. 543\u2013584. Springer (2009)","DOI":"10.1007\/978-3-540-88869-7_27"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"}],"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-319-01928-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:49:58Z","timestamp":1558079398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-01928-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319019277","9783319019284"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-01928-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}