{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,14]],"date-time":"2026-10-14T22:44:50Z","timestamp":1792017890970,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":84,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540929093","type":"print"},{"value":"9783540929109","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-540-92910-9_55","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T10:54:06Z","timestamp":1345892046000},"page":"1863-1896","source":"Crossref","is-referenced-by-count":1,"title":["Process Calculi, Systems Biology and Artificial Chemistry"],"prefix":"10.1007","author":[{"given":"Pierpaolo","family":"Degano","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Bracciali","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"55_CR00551","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A Aziz","year":"2000","unstructured":"Aziz A, Sanwal K, Singhal V, Brayton R (2000) Model checking continuous time Markov chains. ACM Trans Comput Logic 1(1):162\u2013170","journal-title":"ACM Trans Comput Logic"},{"issue":"6","key":"55_CR00552","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier C, Haverkort B, Hermanns H, Katoen J-P (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Trans Software Eng 29(6):524\u2013541","journal-title":"IEEE Trans Software Eng"},{"key":"55_CR00553","volume-title":"Handbook of process algebra","author":"JA Bergstra","year":"2001","unstructured":"Bergstra JA, Ponse A, and Smolka SA (2001) Handbook of process algebra. North-Holland, Amsterdam, The Netherlands"},{"key":"55_CR00554","series-title":"Lecture notes in computer science","volume-title":"Formal methods for computational systems biology","year":"2008","unstructured":"Bernardo M, Degano P, Zavattaro G (eds) (2008) Formal methods for computational systems biology. In: SFM 2008: 8th international school on formal methods for the design of computer, communication, and software systems, Bertinoro, Italy, June 2008. Lecture notes in computer science, vol 5016. Springer, Berlin"},{"issue":"33\u201334","key":"55_CR00555","doi-asserted-by":"publisher","first-page":"3110","DOI":"10.1016\/j.tcs.2008.09.036","volume":"410","author":"C Bodei","year":"2009","unstructured":"Bodei C (2009) A control flow analysis for beta-binders with and without static compartments. Theor Comput Sci 410(33\u201334):3110\u20133127","journal-title":"Theor Comput Sci"},{"issue":"4","key":"55_CR00556","doi-asserted-by":"publisher","first-page":"S7","DOI":"10.1186\/1471-2105-9-S4-S7","volume":"9","author":"A Bracciali","year":"2008","unstructured":"Bracciali A, Brunelli M, Cataldo E, Degano P (2008a) Stochastic models for the in silico simulation of synaptic processes. BMC Bioinform 9(4):S7","journal-title":"BMC Bioinform"},{"issue":"1","key":"55_CR00557","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.tcs.2008.07.008","volume":"408","author":"A Bracciali","year":"2008","unstructured":"Bracciali A, Brunelli M, Cataldo E, Degano P (2008b) Synapses as stochastic concurrent systems. Theor Comput Sci 408(1):66\u201382, 2008","journal-title":"Theor Comput Sci"},{"key":"55_CR00558","unstructured":"Bradley J (1999) Towards reliable modelling with stochastic process algebras. PhD thesis, Department of Computer Science, University of Bristol"},{"key":"55_CR00559","series-title":"Lecture notes in computer science","volume-title":"A stochastic semantics for BioAmbients","author":"L Brodo","year":"2007","unstructured":"Brodo L, Degano P, Priami C (2007) A stochastic semantics for BioAmbients. In: Proceedings of PaCT, Pereslarl-Zalessky, Russia, September 2007. Lecture notes in computer science, vol 4671. Springer, Heidelberg"},{"key":"55_CR005510","series-title":"Lecture notes in computer science","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 (2006) On the computational power of Brane calculi. In: Transactions on computational systems biology VI. Lecture notes in computer science, vol 4220. Springer, Heidelberg, pp 16\u201343"},{"issue":"14","key":"55_CR005511","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone L, Fages F, Soliman S (2006) BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14):1805\u20131807","journal-title":"Bioinformatics"},{"key":"55_CR005515","volume-title":"Algorithmic bioprocesses","author":"L Cardelli","year":"2009","unstructured":"Cardelli L (2009) Artificial biochemistry. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Springer, New York"},{"issue":"3","key":"55_CR005512","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","journal-title":"Theor Comput Sci"},{"key":"55_CR005514","series-title":"Lecture notes in computer science","volume-title":"Brane calculi-interactions of biological membranes","author":"L Cardelli","year":"2004","unstructured":"Cardelli L (2004) Brane calculi-interactions of biological membranes. In: Danos V, Schachter V (eds) Proceedings of computational methods in systems biology, Paris, France, May 2004. Lecture notes in computer science, vol 3082. Springer, Berlin"},{"key":"55_CR005513","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Mobile ambients","author":"L Cardelli","year":"1998","unstructured":"Cardelli L, Gordon A (1998) Mobile ambients. In: Nivat M (ed) Proceedings of FoSSaCS'98, Lisbon, Portugal, March\u2013April 1998. Lecture notes in computer science, vol 1378. Springer, Berlin, pp 140\u2013155"},{"key":"55_CR005516","series-title":"Lecture notes in computer science","volume-title":"On the computational power of biochemistry","author":"L Cardelli","year":"2008","unstructured":"Cardelli L, Zavattaro G (2008) On the computational power of biochemistry. In: Proceedings of algebraic biology, Castle of Hagenberg, Austria, July\u2013August 2008. Lecture notes in computer science, vol 5147. Springer, Berlin"},{"key":"55_CR005517","series-title":"Lecture notes in computer science","volume-title":"ViCe: a VIrtual CEll","author":"D Chiarugi","year":"2004","unstructured":"Chiarugi D, Curti M, Degano P, Marangoni R (2004) ViCe: a VIrtual CEll. In: Proceedings of 2nd international W\/S computational methods in systems biology, Paris, France, May 2004. Lecture notes in computer science, vol 3082. Springer, Berlin"},{"issue":"9","key":"55_CR005519","doi-asserted-by":"publisher","first-page":"1801","DOI":"10.1371\/journal.pcbi.0030174","volume":"3","author":"D Chiarugi","year":"2007","unstructured":"Chiarugi D, Degano P, Marangoni R (2007) A computational approach to the functional screening of genomes. PLoS Comput Biol 3(9):1801\u20131806","journal-title":"PLoS Comput Biol"},{"key":"55_CR005518","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-540-68894-5_10","volume-title":"Formal methods for computational systems biology, Bertinoro, Italy, June 2008","author":"D Chiarugi","year":"2008","unstructured":"Chiarugi D, Degano P, Bert Van Klinken J, Marangoni R (2008) Cells in silico: a holistic approach. In: Formal methods for computational systems biology, Bertinoro, Italy, June 2008. Lecture notes in computer science, vol 5016. Springer, Berlin, pp 366\u2013386"},{"issue":"3","key":"55_CR005520","first-page":"101","volume":"194","author":"F Ciocchetta","year":"2006","unstructured":"Ciocchetta F, Hillston J (2006) Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. In: Proceedings of FBTC 2007, Lisbon, Portugal, September 2007. Electr Notes Theor Comput Sci 194(3):101\u2013117","journal-title":"Electr Notes Theor Comput Sci"},{"key":"55_CR005521","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-68894-5_8","volume-title":"SFM 2008: Formal methods for computational systems biology","author":"F Ciocchetta","year":"2008","unstructured":"Ciocchetta F, Hillston J (2008) Process algebras in systems biology. In: Bernardo M, Degano P, Zavattaro G (eds) SFM 2008: Formal methods for computational systems biology, Bertinoro, Italy, June 2008. Lecture notes in computer science, vol 5016. Springer, Berlin, pp 265\u2013312"},{"issue":"2","key":"55_CR005522","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244\u2013263","journal-title":"ACM Trans Program Lang Syst"},{"issue":"1","key":"55_CR005523","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm W, Harel D (2001) LSCs: breathing life into message sequence charts. Formal Methods Syst Des 19(1):45\u201380","journal-title":"Formal Methods Syst Des"},{"key":"55_CR005524","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"Rule-based modelling of cellular signalling","author":"V Danos","year":"2007","unstructured":"Danos V, Feret J, Fontana W, Harmer R, Krivine J (2007) Rule-based modelling of cellular signalling. In: Proceedings of CONCUR, Lisbon, Portugal, September 2007. Lecture notes in computer science, vol 4703. Springer, Berlin, pp 17\u201341"},{"issue":"3","key":"55_CR005525","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2006.07.014","volume":"164","author":"P Degano","year":"2006","unstructured":"Degano P, Prandi D, Priami C, Quaglia P (2006) Beta-binders for biological quantitative experiments. In: Proceedings of QAPL06, Vienna, Austria, April 2006. Electr Notes Theor Comput Sci 164(3): 101\u2013117","journal-title":"Electr Notes Theor Comput Sci"},{"key":"55_CR005527","unstructured":"Dematt\u00e9 L, Prandi D, Priami C, Romanel A (2007) Effective Index: A formal measure of drug effects. In: Proceedings of the 2nd Conference Foundations of Systems Biology in Engineering (FOSBE). Stuttgart, Germany, September 2007, pp 485\u2013490"},{"key":"55_CR005526","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/978-3-540-68894-5_9","volume-title":"SFM 2008, Bertinoro, Italy, June 2008","author":"L Dematt\u00e9","year":"2008","unstructured":"Dematt\u00e9 L, Priami C, Romanel A (2008) The BlenX language: a tutorial. In: Bernardo M, Degano P, Zavattaro G (eds) SFM 2008, Bertinoro, Italy, June 2008. Lecture notes in computer science, vol 5016. Springer, Berlin, pp 313\u2013365"},{"key":"55_CR005528","doi-asserted-by":"publisher","DOI":"10.1201\/9781584889427","volume-title":"Stochastic relations","author":"E-E Doberkat","year":"2007","unstructured":"Doberkat E-E (2007) Stochastic relations. Chapman & Hall\/CRC, Boca Raton, FL"},{"key":"55_CR005529","doi-asserted-by":"crossref","unstructured":"Eker S, Knapp M, Laderoute K, Lincoln P, Meseguer J, S\u00f6nmez MK (2002) Pathway logic: symbolic analysis of biological signaling. In: Altman RB, Dunker AK, Hunter L, Lauderdale K, Klein TE (eds) Pacific symposium on biocomputing. Kauai, HI, 3\u20137 January 2002, pp 400\u2013412","DOI":"10.1142\/9789812799623_0038"},{"key":"55_CR005530","series-title":"Lecture notes in computer science","first-page":"176","volume-title":"Proceedings logic of programs, Pittsburgh, PA, June 1983","author":"EA Emerson","year":"1983","unstructured":"Emerson EA, Sistla AP (1983) Deciding branching time logic: a triple exponential decision procedure for CTL*. In: Clarke EM, Kozen D (eds) Proceedings logic of programs, Pittsburgh, PA, June 1983. Lecture notes in computer science, vol 164. Springer, Berlin, pp 176\u2013192"},{"key":"55_CR005532","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718195","volume-title":"Simulating, analyzing, and animating dynamical systems","author":"B Ermentrout","year":"2002","unstructured":"Ermentrout B (2002) Simulating, analyzing, and animating dynamical systems. SIAM, Philadelphia, PA"},{"key":"55_CR005533","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-540-89812-2","volume-title":"SFM 2008: Formal methods for computational systems biology, Bertinoro, Italy, June 2008","author":"F Fages","year":"2008","unstructured":"Fages F, Soliman S (2008) Formal cell biology in Biocham. In: Bernardo M, Degano P, Zavattaro G (eds) SFM 2008: Formal methods for computational systems biology, Bertinoro, Italy, June 2008. Lecture notes in computer science, vol 5016. Springer, Berlin, pp 265\u2013312"},{"key":"55_CR005534","volume-title":"Understanding the control of metabolism","author":"DA Fell","year":"1997","unstructured":"Fell DA (1997) Understanding the control of metabolism. Portland Press, London"},{"key":"55_CR005535","volume-title":"Structure and mechanism in protein science: a guide to enzyme catalysis and protein folding","author":"A Fersht","year":"1999","unstructured":"Fersht A (1999) Structure and mechanism in protein science: a guide to enzyme catalysis and protein folding. Freeman, New York"},{"key":"55_CR005536","first-page":"1","volume":"56","author":"W Fontana","year":"1994","unstructured":"Fontana W, Buss LW (1994) The arrival of the fittest: toward a theory of biological organization. Bull Math Biol 56:1\u201364","journal-title":"Bull Math Biol"},{"issue":"1","key":"55_CR005531","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1126\/science.270.5235.397","volume":"270","author":"CM Fraser","year":"1995","unstructured":"Fraser CM et al. (1995) The minimal gene complement of mycoplasma genitalium. Science 270(1):397\u2013403","journal-title":"Science"},{"key":"55_CR005537","volume-title":"Handbook of stochastic methods for physics, chemistry and the natural sciences","author":"CW Gardiner","year":"2001","unstructured":"Gardiner CW (2001) Handbook of stochastic methods for physics, chemistry and the natural sciences. Springer, Berlin"},{"key":"55_CR005538","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"},{"key":"55_CR005539","doi-asserted-by":"crossref","first-page":"331","DOI":"10.7551\/mitpress\/6604.003.0021","volume-title":"System modeling in cellular biology","author":"DT Gillespie","year":"2006","unstructured":"Gillespie DT, Petzold LR (2006) Numerical simulation for biochemical kinetics. In: Szallasi Z, Stelling J, Perival V (eds) System modeling in cellular biology, 1st edn. MIT Press, Cambridge, MA, pp 331\u2013354","edition":"1"},{"key":"55_CR005540","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1073\/pnas.0510013103","volume":"103","author":"J Glass","year":"2006","unstructured":"Glass J, Assad-Garcia N, Alperovich N (2006) Essential genes of a minimal bacterium. PNAS 103:425\u2013430","journal-title":"PNAS"},{"key":"55_CR005541","volume-title":"The enzymes","author":"GG Hammes","year":"1970","unstructured":"Hammes GG, Shimmel PR (1970) In: Boyer PD (ed) The enzymes, vol 2. Academic Press, New York"},{"key":"55_CR005544","unstructured":"Hillston J (1993) PEPA \u2013 performance enhanced process algebra. PhD thesis, University of Edinburgh, Computer Science Department"},{"key":"55_CR005542","unstructured":"Hillston J (1994) The nature of synchronisation. In: Herzog U, Rettelbach M (eds) Proceedings of 2nd workshop on Process Algebras and Performance Modelling (PAPM'92). Erlangen, Germany, July 1994, pp 51\u201370"},{"key":"55_CR005543","first-page":"239","volume-title":"LICS05: Proceedings of the 20th annual symposium on logic in computer science, Chicago, IL, June 2005","author":"J Hillston","year":"2005","unstructured":"Hillston J (2005) Process algebras for quantitative analysis. In: LICS 2005: Proceedings of the 20th annual symposium on logic in computer science, Chicago, IL, USA, June 2005. IEEE Computer Society, Washington DC, pp 239\u2013248"},{"key":"55_CR005545","doi-asserted-by":"publisher","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":"55_CR005546","series-title":"Lecture notes in computer science","volume-title":"PRISM: a tool for automatic verification of probabilistic systems","author":"A Hinton","year":"2006","unstructured":"Hinton A, Kwiatkowska M, Norman G, Parker D (2006) PRISM: a tool for automatic verification of probabilistic systems. In: Hermanns H, Palsberg J (eds) Proceedings 12th international conference on tools and algorithms for the construction and analysis of systems, Vienna, Austria. Lecture notes in computer science, vol 3920. Springer, Heidelberg"},{"key":"55_CR005547","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"55_CR005548","unstructured":"Ihekwaba A, Larcher R, Mardare R, Priami C (2007) BetaWB \u2013 a language for modular representation of biological systems. In: Proceedings of ICSB 2007, Long Beach, CA, October 2007"},{"issue":"5560","key":"55_CR005550","first-page":"1662","volume":"295","author":"H Kitano","year":"2002","unstructured":"Kitano H (2002) Systems biology: a brief overview. Theor Comput Sci 295(5560):1662\u20131664","journal-title":"Theor Comput Sci"},{"issue":"4","key":"55_CR005551","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1364644.1364651","volume":"35","author":"MZ Kwiatkowska","year":"2008","unstructured":"Kwiatkowska MZ, Norman G, Parker D (2008) Using probabilistic model checking for systems biology. SIGMETRICS Performance Evaluation Review 35(4):14\u201321","journal-title":"SIGMETRICS Performance Evaluation Review"},{"key":"55_CR005552","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1038\/nbt1054","volume":"23","author":"L Larry","year":"2005","unstructured":"Larry L, Roger B (2005) Automatic generation of cellular reaction networks with moleculizer 1.0. Nat Biotechnol 23:131\u2013136","journal-title":"Nat Biotechnol"},{"key":"55_CR005553","doi-asserted-by":"publisher","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":"55_CR005554","first-page":"1","volume-title":"CMSB06: Computational methods in systems biology, Trento, Italy, October 2006","author":"M Miculan","year":"2006","unstructured":"Miculan M, Bacci G (2006) Modal logics for Brane calculus. In: Priami C (ed) CMSB06: Computational methods in systems biology, Trento, Italy, October 2006. Lecture notes in computer science, vol 4210. Springer, Heidelberg, pp 1\u201316"},{"key":"55_CR005555","volume-title":"Formal modeling in systems biology. An approach from theoretical computer Science","author":"P Milazzo","year":"2008","unstructured":"Milazzo P (2008) Formal modeling in systems biology. An approach from theoretical computer Science. VDM - Verlag Dr. Muller, Saarbr\u00fccken, Germany"},{"key":"55_CR005556","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems. Lecture notes in computer science","author":"R Milner","year":"1980","unstructured":"Milner R (1980) A calculus of communicating systems. Lecture notes in computer science, vol 92. Springer, Berlin"},{"key":"55_CR005558","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"55_CR005557","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"},{"issue":"1","key":"55_CR005559","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, I-II. Inform Comput 100(1):1\u201377","journal-title":"Inform Comput"},{"key":"55_CR005560","doi-asserted-by":"publisher","first-page":"10268","DOI":"10.1073\/pnas.93.19.10268","volume":"93","author":"AR Mushegian","year":"1996","unstructured":"Mushegian AR, Koonin EV (1996) A minimal gene set for cellular life derived by comparison of complete bacterial genome. PNAS 93:10268\u201310273","journal-title":"PNAS"},{"key":"55_CR005561","first-page":"1","volume-title":"Proceedings of workshop on systeomatics - dynamic biological systems informatics, Caneun, Mexico, 2004","author":"F Nielson","year":"2004","unstructured":"Nielson F, Riis Nielson H, Schuch-Da-Rosa D, Priami C (2004a) Static analysis for systems biology. In: Proceedings of workshop on systeomatics - dynamic biological systems informatics, Cancun, Mexico, 2004. Computer Science Press, Trinity College Dublin, pp 1\u20136"},{"key":"55_CR005562","first-page":"69","volume-title":"Proceedings of static analysis symposium, Verona, Italy, August 2004","author":"HR Nielson","year":"2004","unstructured":"Nielson HR, Nielson F, Pilegaard H (2004b) Spatial analysis of BioAmbient. In: Proceedings of static analysis symposium, Verona, Italy, August 2004. Lecture notes in computer science, vol 3148. Springer, Berlin, pp 69\u201383"},{"key":"55_CR005563","volume-title":"Markov chains","author":"JR Norris","year":"1970","unstructured":"Norris JR (1970) Markov chains. Cambridge University Press, Cambridge, MA"},{"issue":"3","key":"55_CR005564","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/BF00248324","volume":"5","author":"LC Paulson","year":"1989","unstructured":"Paulson LC (1989) The foundation of a generic theorem prover. J Automated Reasoning 5(3):363\u2013397","journal-title":"Automated Reasoning"},{"issue":"3","key":"55_CR005565","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1142\/S0129054107004772","volume":"18","author":"G Paun","year":"2007","unstructured":"Paun G, P\u00e9rez-Jim\u00e9nez MJ, Salomaa A (2007) Spiking neural P systems: an early survey. Int J Found Comput Sci 18(3):435\u2013455","journal-title":"Int J Found Comput Sci"},{"key":"55_CR005566","first-page":"184","volume-title":"Proceedings of computational methods in systems biology, Edinburgh, Scotland, September 2007","author":"A Phillips","year":"2007","unstructured":"Phillips A, Cardelli L (2007) Efficient, correct simulation of biological processes in the stochastic pi-calculus. In: Calder M, Gilmore S (eds) Proceedings of computational methods in systems biology, Edinburgh, Scotland, September 2007. Lecture notes in computer science, vol 4695. Springer, Heidelberg, pp 184\u2013199"},{"key":"55_CR005567","first-page":"17","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin GD (2004) A structural approach to operational semantics. J Log Algebr Program 60\u201361:17\u2013139","journal-title":"J Log Algebr Program"},{"issue":"6","key":"55_CR005568","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"36","author":"C Priami","year":"1995","unstructured":"Priami C (1995) Stochastic \u03c0-calculus. Comput J 36(6):578\u2013589","journal-title":"Comput J"},{"key":"55_CR005570","first-page":"20","volume-title":"Proceedings of CMSB, Paris, France, May 2004. Lecture notes in computer science","author":"C Priami","year":"2004","unstructured":"Priami C, Quaglia P (2004) Beta binders for biological interactions. In: Proceedings of CMSB, Paris, France, May 2004. Lecture notes in computer science, vol 3082. Springer, Berlin, pp 20\u201332"},{"issue":"1","key":"55_CR005569","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.060","volume":"325","author":"C Priami","year":"2004","unstructured":"Priami C, Regev A, Shapiro E, Silvermann W (2004) Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Theor Comput Sci 325(1):141\u2013167","journal-title":"Theor Comput Sci"},{"issue":"1","key":"55_CR005571","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0010-4825(95)00042-9","volume":"26","author":"VN Reddy","year":"1993","unstructured":"Reddy VN, Mavrouvouniotis ML, Liebman MN (1993) Qualitative analysis of biochemical reduction systems. Comput Biol Med 26(1):9\u201324","journal-title":"Comput Biol Med"},{"key":"55_CR005573","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"},{"issue":"1","key":"55_CR005572","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A Regev","year":"2004","unstructured":"Regev A, Panina E, Silverman W, Cardelli L, Shapiro E (2004) BioAmbients: an abstraction for biological compartments. Theor Comput Sci 325(1):141\u2013167","journal-title":"Theor Comput Sci"},{"issue":"2","key":"55_CR005574","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TCBB.2007.1076","volume":"5(","author":"A Sadot","year":"2008","unstructured":"Sadot A, Fisher J, Barak D, Admanit Y, Stern MJ, Hubbard EJA, Harel D (2008) Toward verified biological models. IEEE\/ACM Trans Comput Biol Bioinform 5(2):223\u2013234","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"key":"55_CR005575","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1109\/LICS.2004.1319624","volume-title":"LICS 2004: Proceeding of 19th IEEE symposium on logic in computer science, Turku, Finland, July 2004","author":"D Sangiorgi","year":"2004","unstructured":"Sangiorgi D (2004) Bisimulation: from the origins to today. In: LICS 2004: Proceeding of 19th IEEE symposium on logic in computer science, Turku, Finland, July 2004. IEEE Computer Society, Washington DC, pp 298\u2013302"},{"key":"55_CR005576","volume-title":"What is life?","author":"E Schr\u00f6dinger","year":"1946","unstructured":"Schr\u00f6dinger E (1946) What is life? Macmillan, New York"},{"key":"55_CR005577","volume-title":"Modeling dynamic phenomena in molecular and cellular biology","author":"LA Segel","year":"1987","unstructured":"Segel LA (1987) Modeling dynamic phenomena in molecular and cellular biology. Cambridge University Press, Cambridge"},{"key":"55_CR005578","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0304-3975(82)90067-6","volume":"18","author":"J Sifakis","year":"1982","unstructured":"Sifakis J (1982) A unified approach for studying the properties of transition systems. Theor Comput Sci 18:227\u2013258","journal-title":"Theor Comput Sci"},{"key":"55_CR005579","first-page":"285","volume-title":"Computational cell biology","author":"GD Smith","year":"2005","unstructured":"Smith GD (2005) Modeling the stochastic gating of ion channels. In: Fall CP, Marland ES, Wagner JM, Tyson JJ (eds) Computational cell biology, 2nd edn. Springer, New York, pp 285\u2013319","edition":"2"},{"key":"55_CR005580","doi-asserted-by":"crossref","unstructured":"Soloveichik D, Cook M, Winfree E, Bruck J (2008) Computation with finite stochastic chemical reaction networks. Nat Comput. doi: 10.1007\/s11047-008-9067-y (2008)","DOI":"10.1007\/s11047-008-9067-y"},{"key":"55_CR005549","volume-title":"Systems biology: a brief overview","author":"NG Van Kampen","year":"2002","unstructured":"Van Kampen NG (1992) Stochastic processes in physics and in chemistry. Elsevier, Amsterdam, The Netherlands"},{"key":"55_CR005581","volume-title":"Computational analysis of biochemical systems \u2013 a practical guide for biochemists and molecular biologists","author":"EO Voit","year":"2000","unstructured":"Voit EO (2000) Computational analysis of biochemical systems \u2013 a practical guide for biochemists and molecular biologists. Cambridge University Press, Cambridge"},{"key":"55_CR005582","doi-asserted-by":"crossref","DOI":"10.1201\/9781420010664","volume-title":"Stochastic modelling for systems biology","author":"DJ Wilkinson","year":"2006","unstructured":"Wilkinson DJ (2006) Stochastic modelling for systems biology. Chapman & Hall \u2013 CRC Press, London"},{"key":"55_CR005583","unstructured":"Wolkenhauer O (2008) Systems biology \u2013 Dynamic pathway modelling. Manuscript, available at http:\/\/www.sbi.uni-rostock.de\/dokumente\/t_sb.pdf"},{"key":"55_CR005584","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1186\/1752-0509-2-41","volume":"2","author":"J Zhao","year":"2008","unstructured":"Zhao J, Ridgway D, Broderick G, Kovalenko A, Ellison M (2008) Extraction of elementary rate constants from global network analysis of E. Coli central metabolism. BMC Syst Biol 2:41","journal-title":"BMC Syst Biol"}],"container-title":["Handbook of Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92910-9_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,14]],"date-time":"2026-10-14T21:51:09Z","timestamp":1792014669000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-92910-9_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783540929093","9783540929109"],"references-count":84,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92910-9_55","relation":{},"subject":[],"published":{"date-parts":[[2012]]}}}