{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:32:27Z","timestamp":1742963547852,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888680"},{"type":"electronic","value":"9783540888697"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-88869-7_22","type":"book-chapter","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T21:41:55Z","timestamp":1250113315000},"page":"429-462","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":25,"title":["Artificial Biochemistry"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,8,13]]},"reference":[{"key":"22_CR1","unstructured":"Auxiliary materials for this article. http:\/\/lucacardelli.name"},{"issue":"3","key":"22_CR2","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 (2008) On process rate semantics. Theor Comput Sci 391(3):190\u2013215. http:\/\/dx.doi.org\/10.1016\/j.tcs.2007.11.012","journal-title":"Theor Comput Sci"},{"key":"22_CR3","unstructured":"Cardelli L, Zavattaro G (2008) On the computational power of biochemistry. In: Third international conference on algebraic biology, AB 2008, July 2008, Linz"},{"key":"22_CR4","first-page":"56","volume-title":"Boundaries and barriers","author":"W Fontana","year":"1996","unstructured":"Fontana W, Buss LW (1996) The barrier of objects, from dynamical systems to bounded organization. In: Casti J, Karlqvist A (eds) Boundaries and barriers. Addison\u2013Wesley, Reading, pp 56\u2013116"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81:2340\u20132361","journal-title":"J Phys Chem"},{"issue":"1","key":"22_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00285-006-0034-x","volume":"54","author":"T Jahnke","year":"2007","unstructured":"Jahnke T, Huisinga W (2007) Solving the chemical master equation for monomolecular reaction systems analytically. Math Biol 54(1):1\u201326","journal-title":"Math Biol"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8:231\u2013274","journal-title":"Sci Comput Program"},{"key":"22_CR8","series-title":"LNCS","first-page":"136","volume-title":"Proceedings of FMCO 2002","author":"D Harel","year":"2003","unstructured":"Harel D, Efroni S, Cohen IR (2003) Reactive animation. In: Proceedings of FMCO 2002. LNCS, vol\u00a02852. Springer, Berlin, pp 136\u2013153"},{"key":"22_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A compositional approach to performance modelling","author":"J Hillston","year":"1996","unstructured":"Hillston J (1996) A compositional approach to performance modelling. Cambridge University Press, Cambridge"},{"key":"22_CR10","volume-title":"Principles of chemical kinetics","author":"JE House","year":"2007","unstructured":"House JE (2007) Principles of chemical kinetics. Academic Press, New York"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"10078","DOI":"10.1073\/pnas.93.19.10078","volume":"93","author":"C-YF Huang","year":"1996","unstructured":"Huang C-YF, Ferrell JE Jr (1996) Ultrasensitivity in the mitogen-activated protein cascade. Proc Natl Acad Sci USA 93:10078\u201310083","journal-title":"Proc Natl Acad Sci USA"},{"issue":"5","key":"22_CR12","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S1478-5382(03)02380-1","volume":"1","author":"H Kitano","year":"2003","unstructured":"Kitano H (2003) A graphical notation for biochemical networks. BioSilico 1(5):169\u2013176","journal-title":"BioSilico"},{"key":"22_CR13","unstructured":"Lerman K, Galstyan A (2004) Automatically modeling group behavior of simple agents. In: Agent modeling workshop, AAMAS-04, New York"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"2865","DOI":"10.1073\/pnas.83.9.2865","volume":"83","author":"MH Meinke","year":"1986","unstructured":"Meinke MH, Bishops JS, Edstrom RD (1986) Zero-order ultrasensitivity in the regulation of glycogen phosphorylase. Proc Natl Acad Sci USA 83:2865\u20132868","journal-title":"Proc Natl Acad Sci USA"},{"key":"22_CR15","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R Milner","year":"1999","unstructured":"Milner R (1999) Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge"},{"key":"22_CR16","unstructured":"Phillips A, Cardelli L (2004) A correct abstract machine for the stochastic pi-calculus. In: Proceedings of BioConcur\u201904"},{"key":"22_CR17","first-page":"123","volume":"VII","author":"A Phillips","year":"2006","unstructured":"Phillips A, Cardelli L, Castagna G (2006) A graphical representation for biological processes in the stochastic pi-calculus. Trans Comput Syst Biol VII:123\u2013152","journal-title":"Trans Comput Syst Biol"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C Priami","year":"1995","unstructured":"Priami C (1995) Stochastic \u03c0-calculus. Comput J 38:578\u2013589","journal-title":"Comput J"},{"key":"22_CR19","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 (2001) Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf Process Lett 80:25\u201331","journal-title":"Inf Process Lett"},{"key":"22_CR20","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-642-18734-6_11","volume-title":"Modelling in molecular biology","author":"A Regev","year":"2004","unstructured":"Regev A, Shapiro E (2004) The \u03c0-calculus as an abstraction for biomolecular systems. In: Ciobanu G, Rozenberg G (eds) Modelling in molecular biology. Springer, Berlin, pp 219\u2013266"},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A Regev","year":"2002","unstructured":"Regev A, Shapiro E (2002) Cellular abstractions: cells as computation. Nature 419:343","journal-title":"Nature"},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.pbiomolbio.2004.03.002","volume":"86","author":"HM Sauroa","year":"2004","unstructured":"Sauroa HM, Kholodenko BN (2004) Quantitative analysis of signaling networks. Prog Biophys Mol Biol 86:5\u201343","journal-title":"Prog Biophys Mol Biol"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Soloveichik D, Cook M, Winfree E, Bruck J (2007) Computation with finite stochastic chemical reaction networks. http:\/\/www.dna.caltech.edu\/DNAresearch_publications.html","DOI":"10.1007\/s11047-008-9067-y"},{"key":"22_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4419-8909-3","volume-title":"Collectives and the design of complex systems","author":"K Tumer","year":"2004","unstructured":"Tumer K, Wolpert D (2004) A survey of collectives. In: Collectives and the design of complex systems. Springer, Berlin, pp 1\u201342"},{"key":"22_CR25","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1109\/TNB.2004.833694","volume":"3","author":"O Wolkenhauer","year":"2004","unstructured":"Wolkenhauer O, Ullah M, Kolch W, Cho K (2004) Modelling and simulation of intracellular dynamics: choosing an appropriate framework. IEEE Trans Nanobiosci 3:200\u2013207","journal-title":"IEEE Trans Nanobiosci"},{"issue":"9","key":"22_CR26","doi-asserted-by":"publisher","first-page":"5988","DOI":"10.1073\/pnas.092133899","volume":"99","author":"JMG Vilar","year":"2002","unstructured":"Vilar JMG, Kueh HY, Barkai N, Leibler S (2002) Mechanisms of noise-resistance in genetic oscillators. Proc Natl Acad Sci 99(9):5988\u20135992","journal-title":"Proc Natl Acad Sci"}],"container-title":["Natural Computing Series","Algorithmic Bioprocesses"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88869-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T22:32:37Z","timestamp":1675895557000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-88869-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540888680","9783540888697"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88869-7_22","relation":{},"ISSN":["1619-7127"],"issn-type":[{"type":"print","value":"1619-7127"}],"subject":[],"published":{"date-parts":[[2009]]},"assertion":[{"value":"13 August 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}