{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T03:37:53Z","timestamp":1792726673638,"version":"4.5.0"},"reference-count":19,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2013,2,28]],"date-time":"2013-02-28T00:00:00Z","timestamp":1362009600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2013,4]]},"abstract":"<jats:p>We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand. To preserve this structural invariant, we impose restrictions on the single strands they interact with: we consider only two-domain single strands consisting of one toehold domain and one recognition domain. We study fork and join signal processing gates based on these structures, and show that these systems are amenable to formalisation and mechanical verification.<\/jats:p>","DOI":"10.1017\/s0960129512000102","type":"journal-article","created":{"date-parts":[[2013,2,28]],"date-time":"2013-02-28T23:00:06Z","timestamp":1362092406000},"page":"247-271","source":"Crossref","is-referenced-by-count":96,"title":["Two-domain DNA strand displacement"],"prefix":"10.1017","volume":"23","author":[{"given":"LUCA","family":"CARDELLI","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2013,2,28]]},"reference":[{"key":"S0960129512000102_manual_ref-10","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2009.0072.focus"},{"key":"S0960129512000102_manual_ref-16","unstructured":"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.)"},{"key":"S0960129512000102_manual_ref-2","doi-asserted-by":"publisher","DOI":"10.1038\/35106533"},{"key":"S0960129512000102_manual_ref-4","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-010-9236-7"},{"key":"S0960129512000102_manual_ref-12","doi-asserted-by":"publisher","DOI":"10.1126\/science.1132493"},{"key":"S0960129512000102_manual_ref-20","doi-asserted-by":"publisher","DOI":"10.1021\/ja906987s"},{"key":"S0960129512000102_manual_ref-5","doi-asserted-by":"publisher","DOI":"10.1126\/science.1135101"},{"key":"S0960129512000102_manual_ref-9","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"Milner","year":"1999"},{"key":"S0960129512000102_manual_ref-17","doi-asserted-by":"publisher","DOI":"10.1021\/ja109089q"},{"key":"S0960129512000102_manual_ref-15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023928811651"},{"key":"S0960129512000102_manual_ref-7","volume-title":"Modelling in Molecular Biology","author":"Hagiya","year":"2004"},{"key":"S0960129512000102_manual_ref-11","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2010.0729"},{"key":"S0960129512000102_manual_ref-18","doi-asserted-by":"publisher","DOI":"10.1126\/science.1148532"},{"key":"S0960129512000102_manual_ref-8","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_29"},{"key":"S0960129512000102_manual_ref-14","doi-asserted-by":"publisher","DOI":"10.1038\/nature06451"},{"key":"S0960129512000102_manual_ref-3","first-page":"81","volume-title":"Proceedings 17th POPL","author":"Berry","year":"1989"},{"key":"S0960129512000102_manual_ref-19","doi-asserted-by":"publisher","DOI":"10.1038\/nchem.957"},{"key":"S0960129512000102_manual_ref-13","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0909380107"},{"key":"S0960129512000102_manual_ref-6","doi-asserted-by":"publisher","DOI":"10.1529\/biophysj.106.084681"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129512000102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T16:06:30Z","timestamp":1750435590000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129512000102\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2,28]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["S0960129512000102"],"URL":"https:\/\/doi.org\/10.1017\/s0960129512000102","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,2,28]]}}}