{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:45:43Z","timestamp":1786981543283,"version":"build-2736575974"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,12,22]],"date-time":"2017-12-22T00:00:00Z","timestamp":1513900800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1007\/s11047-017-9665-7","type":"journal-article","created":{"date-parts":[[2017,12,22]],"date-time":"2017-12-22T05:56:37Z","timestamp":1513922197000},"page":"109-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Chemical reaction network designs for asynchronous logic circuits"],"prefix":"10.1007","volume":"17","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8753-4229","authenticated-orcid":false,"given":"Max","family":"Whitby","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,12,22]]},"reference":[{"key":"9665_CR1","doi-asserted-by":"crossref","unstructured":"Anderson DF, Kurtz TG (2011) Continuous time Markov chain models for chemical reaction networks. In: Design and analysis of biomolecular circuits. Springer, pp 3\u201342","DOI":"10.1007\/978-1-4419-6766-4_1"},{"issue":"2","key":"9665_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/s00446-008-0059-z","volume":"21","author":"D Angluin","year":"2008","unstructured":"Angluin D, Aspnes J, Eisenstat D (2008) A simple population protocol for fast robust approximate majority. Distrib Comput 21(2):87\u2013102","journal-title":"Distrib Comput"},{"key":"9665_CR3","first-page":"1","volume-title":"Application and theory of Petri nets and concurrency, vol 9115 of Lecture notes in computer science","author":"B Barbot","year":"2015","unstructured":"Barbot B, Kwiatkowska M (2015) On quantitative modelling and verification of DNA walker circuits using stochastic Petri nets. In: Devillers R, Valmari A (eds) Application and theory of Petri nets and concurrency, vol 9115 of Lecture notes in computer science. Springer International Publishing, New York, pp 1\u201332"},{"key":"9665_CR4","doi-asserted-by":"crossref","unstructured":"Bortolussi L, Cardelli L, Kwiatkowska M, Laurenti L (2016) Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. In: Proceedings 13th international conference on quantitative evaluation of systems (QEST 2016), LNCS. Springer. To appear","DOI":"10.1007\/978-3-319-43425-4_5"},{"key":"9665_CR5","first-page":"47","volume":"26","author":"L Cardelli","year":"2010","unstructured":"Cardelli L (2010) Two-domain DNA strand displacement. Dev Comput Models 26:47\u201361","journal-title":"Dev Comput Models"},{"issue":"1","key":"9665_CR6","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1186\/1752-0509-8-84","volume":"8","author":"L Cardelli","year":"2014","unstructured":"Cardelli L (2014) Morphisms of reaction networks that couple structure to function. BMC Syst Biol 8(1):84","journal-title":"BMC Syst Biol"},{"key":"9665_CR7","doi-asserted-by":"crossref","first-page":"656","DOI":"10.1038\/srep00656","volume":"2","author":"L Cardelli","year":"2012","unstructured":"Cardelli L, Csik\u00e1sz-Nagy A (2012) The cell cycle switch computes approximate majority. Sci Rep 2:656","journal-title":"Sci Rep"},{"key":"9665_CR8","doi-asserted-by":"crossref","unstructured":"Cardelli L, Kwiatkowska M, Laurenti L (2015) Stochastic analysis of chemical reaction networks using linear noise approximation. In: Computational methods in systems biology. Springer, pp 64\u201376","DOI":"10.1007\/978-3-319-23401-4_7"},{"key":"9665_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli L, Kwiatkowska M, Whitby M (2016) Chemical reaction network designs for asynchronous logic circuits. In: Proceedings of 22nd international conference on DNA computing and molecular programming (DNA22), LNCS. Springer","DOI":"10.1007\/978-3-319-43994-5_5"},{"issue":"4","key":"9665_CR10","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1007\/s11047-013-9393-6","volume":"13","author":"H-L Chen","year":"2013","unstructured":"Chen H-L, Doty D, Soloveichik D (2013) Deterministic function computation with chemical reaction networks. Nat Comput 13(4):517\u2013534","journal-title":"Nat Comput"},{"key":"9665_CR11","doi-asserted-by":"crossref","unstructured":"Chen H-L, Doty D, Soloveichik D (2014) Rate-independent computation in continuous chemical reaction networks. In: Proceedings of the 5th conference on Innovations in theoretical computer science. ACM, pp 313\u2013326","DOI":"10.1145\/2554797.2554827"},{"issue":"10","key":"9665_CR12","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"Y-J Chen","year":"2013","unstructured":"Chen Y-J, Dalchau N, Srinivas N, Phillips A, Cardelli L, Soloveichik D, Seelig G (2013) Programmable chemical controllers made from DNA. Nat Nanotechnol 8(10):755\u2013762","journal-title":"Nat Nanotechnol"},{"key":"9665_CR13","doi-asserted-by":"crossref","unstructured":"Cook M, Soloveichik D, Winfree E, Bruck J (2009) Programmability of chemical reaction networks. In: Algorithmic bioprocesses. Springer, pp 543\u2013584","DOI":"10.1007\/978-3-540-88869-7_27"},{"issue":"2","key":"9665_CR14","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s11047-014-9426-9","volume":"14","author":"F Dannenberg","year":"2015","unstructured":"Dannenberg F, Kwiatkowska M, Thachuk C, Turberfield AJ (2015) DNA walker circuits: computational potential, design and verification. Nat Comput 14(2):195\u2013211","journal-title":"Nat Comput"},{"issue":"3","key":"9665_CR15","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1002\/chem.200305054","volume":"10","author":"AP Silva de","year":"2004","unstructured":"de Silva AP, McClenaghan ND (2004) Molecular-scale logic gates. Chem A Eur J 10(3):574\u2013586","journal-title":"Chem A Eur J"},{"key":"9665_CR16","doi-asserted-by":"crossref","unstructured":"Kwiatkowska M, Norman G, Parker D (2007) Stochastic model checking. In: Formal methods for performance evaluation. Springer, pp 220\u2013270","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"9665_CR17","unstructured":"Kwiatkowska M, Norman G, Parker D (2011) Prism 4.0: verification of probabilistic real-time systems. In: Computer aided verification. Springer, pp 585\u2013591"},{"key":"9665_CR18","doi-asserted-by":"crossref","unstructured":"Lakin MR, Parker D, Cardelli L, Kwiatkowska M, Phillips A (2012) Design and analysis of DNA strand displacement devices using probabilistic model checking. J R Soc Interface, page rsif20110800","DOI":"10.1098\/rsif.2011.0800"},{"issue":"22","key":"9665_CR19","doi-asserted-by":"crossref","first-page":"3211","DOI":"10.1093\/bioinformatics\/btr543","volume":"27","author":"MR Lakin","year":"2011","unstructured":"Lakin MR, Youssef S, Polo F, Emmott S, Phillips A (2011) Visual DSD: a design and analysis tool for DNA strand displacement systems. Bioinformatics 27(22):3211\u20133213","journal-title":"Bioinformatics"},{"key":"9665_CR20","doi-asserted-by":"crossref","first-page":"1190","DOI":"10.1103\/PhysRevLett.78.1190","volume":"78","author":"MO Magnasco","year":"1997","unstructured":"Magnasco MO (1997) Chemical kinetics is Turing universal. Phys Rev Lett 78:1190\u20131193","journal-title":"Phys Rev Lett"},{"key":"9665_CR21","doi-asserted-by":"crossref","unstructured":"Manohar R, Martin AJ (1996) Quasi-delay insensitive circuits are Turing complete. In ASYNC \u201996: proceedings of the 2nd international symposium on advanced research in asynchronous circuits and systems. IEEE Computer Society","DOI":"10.21236\/ADA444284"},{"key":"9665_CR22","doi-asserted-by":"crossref","unstructured":"Mertzios GB, Nikoletseas SE, Raptopoulos CL, Spirakis PG (2014) Determining majority in networks with local interactions and very small local memory. In: International colloquium on automata, languages, and programming. Springer, pp 871\u2013882","DOI":"10.1007\/978-3-662-43948-7_72"},{"key":"9665_CR23","volume-title":"Asynchronous circuit design","author":"CJ Myers","year":"2004","unstructured":"Myers CJ (2004) Asynchronous circuit design. Wiley, New York"},{"key":"9665_CR24","unstructured":"Napp NE, Adams RP (2013) Message passing inference with chemical reaction networks. In: Advances in neural information processing systems, pp 2247\u20132255"},{"issue":"2","key":"9665_CR25","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1016\/j.jtbi.2009.10.026","volume":"264","author":"N-P Nguyen","year":"2010","unstructured":"Nguyen N-P, Myers C, Kuwahara H, Winstead C, Keener J (2010) Design and analysis of a robust genetic Muller C-element. J Theor Biol 264(2):174\u2013187","journal-title":"J Theor Biol"},{"key":"9665_CR26","doi-asserted-by":"crossref","unstructured":"Nguyen N-PD, Kuwahara H, Myers CJ, Keener JP (2007) The design of a genetic muller c-element. In: 13th IEEE international symposium on asynchronous circuits and systems, 2007. ASYNC 2007. IEEE, pp 95\u2013104","DOI":"10.1109\/ASYNC.2007.27"},{"key":"9665_CR27","doi-asserted-by":"crossref","unstructured":"Pedersen M, Phillips A (2009) Towards programming languages for genetic engineering of living cells. J R Soc Interface","DOI":"10.1098\/rsif.2008.0516.focus"},{"issue":"Suppl 4","key":"9665_CR28","doi-asserted-by":"crossref","first-page":"S419","DOI":"10.1098\/rsif.2009.0072.focus","volume":"6","author":"A Phillips","year":"2009","unstructured":"Phillips A, Cardelli L (2009) A programming language for composable DNA circuits. J R Soc Interface 6(Suppl 4):S419\u2013S436","journal-title":"J R Soc Interface"},{"issue":"6034","key":"9665_CR29","doi-asserted-by":"crossref","first-page":"1196","DOI":"10.1126\/science.1200520","volume":"332","author":"L Qian","year":"2011","unstructured":"Qian L, Winfree E (2011) Scaling up digital circuit computation with DNA strand displacement cascades. Science 332(6034):1196\u20131201","journal-title":"Science"},{"key":"9665_CR30","doi-asserted-by":"crossref","unstructured":"Qian L, Winfree E (2011) A simple DNA gate motif for synthesizing large-scale circuits. J R Soc Interface rsif20100729","DOI":"10.1098\/rsif.2010.0729"},{"issue":"12","key":"9665_CR31","doi-asserted-by":"crossref","first-page":"e424","DOI":"10.1371\/journal.pbio.0020424","volume":"2","author":"PW Rothemund","year":"2004","unstructured":"Rothemund PW, Papadakis N, Winfree E (2004) Algorithmic self-assembly of DNA sierpinski triangles. PLoS Biol 2(12):e424","journal-title":"PLoS Biol"},{"issue":"6","key":"9665_CR32","doi-asserted-by":"crossref","first-page":"e21414","DOI":"10.1371\/journal.pone.0021414","volume":"6","author":"P Senum","year":"2011","unstructured":"Senum P, Riedel M (2011) Rate-independent constructs for chemical computation. PLoS ONE 6(6):e21414","journal-title":"PLoS ONE"},{"key":"9665_CR33","unstructured":"Shin SW (2011) Compiling and verifying DNA-based Chemical Reaction Network implementations. Ph.D. thesis, California Institute of Technology"},{"issue":"4","key":"9665_CR34","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(4):615\u2013633","journal-title":"Nat Comput"},{"issue":"12","key":"9665_CR35","doi-asserted-by":"crossref","first-page":"5393","DOI":"10.1073\/pnas.0909380107","volume":"107","author":"D Soloveichik","year":"2010","unstructured":"Soloveichik D, Seelig G, Winfree E (2010) DNA as a universal substrate for chemical kinetics. Proc Nat Acad Sci 107(12):5393\u20135398","journal-title":"Proc Nat Acad Sci"},{"key":"9665_CR36","volume-title":"Principles asynchronous circuit design","author":"J Spars","year":"2002","unstructured":"Spars J, Furber S (2002) Principles asynchronous circuit design. Springer, New York"},{"key":"9665_CR37","volume-title":"Stochastic processes in physics and chemistry","author":"NG Kampen Van","year":"1992","unstructured":"Van Kampen NG (1992) Stochastic processes in physics and chemistry. Elsevier, London"},{"issue":"1\u20133","key":"9665_CR38","first-page":"283","volume":"80","author":"X Wang","year":"2007","unstructured":"Wang X, Kwiatkowska M (2007) On process-algebraic verification of asynchronous circuits. Fundamenta Inf 80(1\u20133):283\u2013310","journal-title":"Fundamenta Inf"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-017-9665-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-017-9665-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-017-9665-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,10]],"date-time":"2022-08-10T22:05:40Z","timestamp":1660169140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-017-9665-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,22]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["9665"],"URL":"https:\/\/doi.org\/10.1007\/s11047-017-9665-7","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12,22]]}}}