{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T16:20:05Z","timestamp":1790871605583,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540851004","type":"print"},{"value":"9783540851011","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85101-1_6","type":"book-chapter","created":{"date-parts":[[2008,7,29]],"date-time":"2008-07-29T11:21:36Z","timestamp":1217330496000},"page":"65-80","source":"Crossref","is-referenced-by-count":22,"title":["On the Computational Power of Biochemistry"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/11880646_2","volume-title":"Transactions on Computational Systems Biology VI","author":"N. Busi","year":"2006","unstructured":"Busi, N., Gorrieri, R.: On the Computational Power of Brane Calculi. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 16\u201343. Springer, Heidelberg (2006)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Artificial Biochemistry. In: Proc. of Algorithmic Bioprocesses. LNCS (to appear, 2008), http:\/\/lucacardelli.name","DOI":"10.1007\/978-3-540-88869-7_22"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: On Process Rate Semantics. Theoretical Computer Science (in press, 2008), http:\/\/dx.doi.org\/10.1016\/j.tcs.2007.11.012","DOI":"10.1016\/j.tcs.2007.11.012"},{"key":"6_CR4","unstructured":"Cardelli, L., Pradalier, S.: Where Membranes Meet Complexes. In: Proc. of Concurrent Models in Molecular Biology (BioConcur. 2005) (2005)"},{"key":"6_CR5","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-75140-3_12","volume-title":"Computational Methods in Systems Biology","author":"A. Credi","year":"2007","unstructured":"Credi, A., Garavelli, M., Laneve, C., Pradalier, S., Silvi, S., Zavattaro, G.: Modelization and Simulation of Nano Devices in nano-kappa Calculus. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 168\u2013183. Springer, Heidelberg (2007)"},{"key":"6_CR6","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Kappa Factory (2007), http:\/\/www.lix.polytechnique.fr\/~krivine\/kappaFactory.html"},{"issue":"1","key":"6_CR7","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":"6_CR8","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1038\/nbt1111","volume":"23","author":"H. Kitano","year":"2005","unstructured":"Kitano, H., Funahashi, A., Matsuoka, Y., Oda, K.: Using process diagrams for the graphical representation of biological networks. Nature Biotechnolgy\u00a023, 961\u2013966 (2005)","journal-title":"Nature Biotechnolgy"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1091\/mbc.E05-09-0824","volume":"17","author":"K.W. Kohn","year":"2006","unstructured":"Kohn, K.W., Aladjem, M.I., Weinstein, J.N., Pommier, Y.: Molecular interaction maps of bioregulatory networks: a general rubric for systems biology. Molecular biology of the cell\u00a017(1), 1\u201313 (2006)","journal-title":"Molecular biology of the cell"},{"key":"6_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1202","DOI":"10.1007\/978-3-540-74913-4_120","volume-title":"Advances in Artificial Life","author":"A.M.L. Liekens","year":"2007","unstructured":"Liekens, A.M.L., Fernando, C.T.: Turing complete catalytic particle computers. In: Almeida e Costa, F., Rocha, L.M., Costa, E., Harvey, I., Coutinho, A. (eds.) ECAL 2007. LNCS (LNAI), vol.\u00a04648, pp. 1202\u20131211. Springer, Heidelberg (2007)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1103\/PhysRevLett.78.1190","volume":"78","author":"M.O. Magnasco","year":"1997","unstructured":"Magnasco, M.O.: Chemical Kinetics is Turing Universal. Physical Review Letters\u00a078, 1190\u20131193 (1997)","journal-title":"Physical Review Letters"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"413","DOI":"10.2307\/3212214","volume":"4","author":"D.A. McQuarrie","year":"1967","unstructured":"McQuarrie, D.A.: Stochastic approach to chemical kinetics. Journal of Applied Probability\u00a04, 413\u2013478 (1967)","journal-title":"Journal of Applied Probability"},{"key":"6_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"6_CR14","volume-title":"Computation: finite and infinite machines","author":"M.L. Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Englewood Cliffs (1967)"},{"key":"6_CR15","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-25974-9_3","volume-title":"Computational Methods in Systems Biology","author":"C. Priami","year":"2005","unstructured":"Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 20\u201333. Springer, Heidelberg (2005)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Soloveichik, D., Cook, M., Winfree, E., Bruck, J.: Computation with Finite Stochastic Chemical Reaction Networks. Natural Computing (in press, 2008), http:\/\/dx.doi.org\/10.1007\/s11047-008-9067-y","DOI":"10.1007\/s11047-008-9067-y"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Zavattaro, G., Cardelli, L.: Termination Problems in Chemical Kinetics (2008), http:\/\/lucacardelli.name","DOI":"10.1007\/978-3-540-85361-9_37"}],"container-title":["Lecture Notes in Computer Science","Algebraic Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85101-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:14:34Z","timestamp":1619522074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85101-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851004","9783540851011"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85101-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}