{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:14:25Z","timestamp":1753521265328,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":82,"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_23","type":"book-chapter","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T21:41:55Z","timestamp":1250113315000},"page":"463-486","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Process Calculi Abstractions for Biology"],"prefix":"10.1007","author":[{"given":"Maria Luisa","family":"Guerriero","sequence":"first","affiliation":[]},{"given":"Davide","family":"Prandi","sequence":"additional","affiliation":[]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Quaglia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,8,13]]},"reference":[{"issue":"3","key":"23_CR1","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1089\/106652700750050817","volume":"7","author":"T Akutsu","year":"2000","unstructured":"Akutsu T, Miyano S, Kuhara S (2000) Algorithms for identifying Boolean networks and related biological networks based on matrix multiplication and fingerprint function. J\u00a0Comput Biol 7(3):331\u2013343","journal-title":"J\u00a0Comput Biol"},{"issue":"9","key":"23_CR2","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1093\/bioinformatics\/16.9.786","volume":"16","author":"R Alves","year":"2000","unstructured":"Alves R, Savageau MA (2000) Extending the method of mathematically controlled comparison to include numerical comparisons. Bioinformatics 16(9):786\u2013798","journal-title":"Bioinformatics"},{"issue":"1","key":"23_CR3","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1093\/nar\/29.1.242","volume":"29","author":"GD Bader","year":"2001","unstructured":"Bader GD, Donaldson I, Wolting C, Ouellette BF, Pawson T, Hogue CW (2001) BIND\u2014the biomolecular interaction network database. Nucleic Acids Res 29(1):242\u2013245","journal-title":"Nucleic Acids Res"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"van Bakel S, Kahn I, Vigliotti M, Heath J (2007) Modelling intarcellular fate of FGF receptors with BioAmbients. In: ENTCS","DOI":"10.1016\/j.entcs.2008.11.026"},{"key":"23_CR5","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/978-3-540-73433-8_19","volume-title":"Proceedings of the second international conference on algebraic biology (AB 2007)","author":"P Baldan","year":"2007","unstructured":"Baldan P, Bracciali A, Brodo L, Bruni R (2007) Deducing interactions in partially unspecified biological systems. In: Proceedings of the second international conference on algebraic biology (AB 2007). Lecture notes in computer science, vol 4545. Springer, Berlin, pp 262\u2013276"},{"key":"23_CR6","unstructured":"The Beta workbench home page. http:\/\/www.cosbi.eu\/Rpty_Soft_BetaWB.php"},{"key":"23_CR7","unstructured":"BioSpi home page. http:\/\/www.wisdom.weizmann.ac.il\/~biospi"},{"key":"23_CR8","unstructured":"Busi N (2007) Towards a causal semantics for brane calculi. In: Proceedings of the fifth brainstorming week on membrane computing, pp\u00a097\u2013111"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"1646","DOI":"10.1109\/WSC.2006.322939","volume-title":"Proceedings of the winter simulation conference (WSC 2006)","author":"N Busi","year":"2006","unstructured":"Busi N, Zandron C (2006) Modeling and analysis of biological processes by mem(brane) calculi and systems. In: Proceedings of the winter simulation conference (WSC 2006), Monterey, CA, USA, December 3\u20136, 2006. WSC, Monterey, pp 1646\u20131655"},{"key":"#cr-split#-23_CR10.1","unstructured":"Calder M, Gilmore S, Hillston J (2005) Automatically deriving ODEs from process algebra models of signalling pathways. In: Plotkin G"},{"key":"#cr-split#-23_CR10.2","unstructured":"(ed) Proceedings of computational methods in systems biology (CMSB 2005), Edinburgh, Scotland, pp\u00a0204-215"},{"issue":"4230","key":"23_CR11","first-page":"1","volume":"VII","author":"M Calder","year":"2006","unstructured":"Calder M, Gilmore S, Hillston J (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Trans Comput Syst Biol VII(4230):1\u201323; also appeared in: Proc BioCONCUR\u201904","journal-title":"Trans Comput Syst Biol"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Calder M, Gilmore S, Hillston J, Vyshemirsky V (2009) Formal methods for biochemical signalling pathways. In: Formal methods: state of art and new directions, BCS FACS. Springer, Berlin (in press)","DOI":"10.1007\/978-1-84882-736-3_6"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Calder M, Vyshemirsky V, Orton R, Gilbert D (2005) Analysis of signalling pathways using the PRISM model checker. In: Plotkin G (ed) Third international workshop on computational methods in systems biology (CMSB\u201905)","DOI":"10.1007\/11880646_3"},{"key":"23_CR14","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational methods in systems biology, international conference CMSB 2004, revised selected papers","author":"L Cardelli","year":"2005","unstructured":"Cardelli L (2005) Brane calculi\u2014interactions of biological membranes. In: Computational methods in systems biology, international conference CMSB 2004, revised selected papers, Paris, France, May 26\u201328, 2004. Lecture notes in computer science, vol 3082. Springer, Berlin, pp 257\u2013278"},{"issue":"3","key":"23_CR15","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.entcs.2007.12.007","volume":"194","author":"L Cardelli","year":"2008","unstructured":"Cardelli L, Gardner P, Kahramano\u011fullar\u0131 O (2008) A process model of rho GTP-binding proteins in the context of phagocytosis. In: Proc. of FBTC\u201907. Electron Notes Theor Comput Sci 194(3):87\u2013102","journal-title":"Electron Notes Theor Comput Sci"},{"key":"23_CR16","unstructured":"Chang R (2005) Physical chemistry for the biosciences. University Science"},{"issue":"9","key":"23_CR17","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":"23_CR18","unstructured":"Ciocchetta F, Hillston J (2007) Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. In: From biology to concurrency and back (FBTC 07), ENTCS"},{"issue":"1","key":"23_CR19","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.tcs.2004.03.066","volume":"325","author":"M Curti","year":"2004","unstructured":"Curti M, Degano P, Priami C, Baldari C (2004) Modelling biochemical pathways through enhanced \u03c0-calculus. Theor Comput Sci 325(1):111\u2013140","journal-title":"Theor Comput Sci"},{"key":"23_CR20","series-title":"Lecture notes in computer science","volume-title":"Proceedings CONCUR\u201907","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 CONCUR\u201907. Lecture notes in computer science. Springer, Berlin"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Danos V, Feret J, Fontana W, Krivine J (2007) Scalable simulation of cellular signaling networks. In: Proceedings APLAS\u201907","DOI":"10.1007\/978-3-540-76637-7_10"},{"key":"23_CR22","series-title":"Lecture notes in computer science","volume-title":"Proceedings VMCAI\u201908","author":"V Danos","year":"2008","unstructured":"Danos V, Feret J, Fontana W, Krivine J (2008) Abstract interpretation of reachable complexes in biological signalling networks. In: Proceedings VMCAI\u201908. Lecture notes in computer science. Springer, Berlin"},{"key":"23_CR23","unstructured":"Danos V, Fontana W, Harmer R, Krivine J (2007) Biological signalling and causality"},{"key":"23_CR24","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/978-3-540-28644-8_19","volume-title":"Proceedings CONCUR\u201904","author":"V Danos","year":"2004","unstructured":"Danos V, Krivine J (2004) Reversible communicating systems. In: Proceedings CONCUR\u201904. Lecture notes in computer science, vol 3170. Springer, Berlin, pp 292\u2013307"},{"issue":"3","key":"23_CR25","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2004.01.040","volume":"180","author":"V Danos","year":"2007","unstructured":"Danos V, Krivine J (2007) Formal molecular biology done in CCS-R. Electron Notes Theor Comput Sci 180(3):31\u201349","journal-title":"Electron Notes Theor Comput Sci"},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Danos V, Laneve C (2004) Formal molecular biology. Theor Comput Sci 325(1)","DOI":"10.1016\/j.tcs.2004.03.065"},{"key":"23_CR27","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-25974-9_11","volume-title":"Computational methods in systems biology, international conference CMSB 2004, revised selected papers","author":"V Danos","year":"2005","unstructured":"Danos V, Pradalier S (2005) Projective brane calculus. In: Computational methods in systems biology, international conference CMSB 2004, revised selected papers, Paris, France, May 26\u201328, 2004. Lecture notes in computer science, vol 3082. Springer, Berlin, pp 134\u2013148"},{"issue":"3","key":"23_CR28","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. Electron Notes Theor Comput Sci 164(3):101\u2013117","journal-title":"Electron Notes Theor Comput Sci"},{"key":"23_CR29","unstructured":"Dematte L, Prandi D, Priami C, Romanel A (2007) Effective index: a formal measure of drug effects. In: Proceedings FOSBE 2007, pp\u00a0485\u2013490"},{"issue":"8","key":"23_CR30","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1093\/bioinformatics\/16.8.707","volume":"16","author":"P Dhaeseleer","year":"2000","unstructured":"Dhaeseleer P, Liang S, Somogyi R (2000) Genetic network inference: from co-expression clustering to reverse engineering. Bioinformatics 16(8):707\u2013726","journal-title":"Bioinformatics"},{"issue":"11","key":"23_CR31","doi-asserted-by":"publisher","first-page":"2485","DOI":"10.1101\/gr.1215303","volume":"13","author":"S Efroni","year":"2003","unstructured":"Efroni S, Harel D, Cohen IR (2003) Towards rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation Genome Res 13(11):2485\u20132497","journal-title":"Genome Res"},{"key":"23_CR32","volume-title":"Boundaries and barriers: on the limits to scientific knowledge","author":"W Fontana","year":"1996","unstructured":"Fontana W, Buss L (1996) The barrier of objects: from dynamical systems to bounded organizations. In: Boundaries and barriers: on the limits to scientific knowledge. Addison\u2013Wesley, Reading"},{"issue":"25","key":"23_CR33","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D Gillespie","year":"1977","unstructured":"Gillespie D (1977) Exact stochastic simulation of coupled chemical reactions. J\u00a0Phys Chem 81(25):2340\u20132361","journal-title":"J\u00a0Phys Chem"},{"key":"23_CR34","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Proceedings of the seventh international conference on modelling techniques and tools for computer performance evaluation","author":"S Gilmore","year":"1994","unstructured":"Gilmore S, Hillston J (1994) The PEPA workbench: a tool to support a process algebra-based approach to performance modelling. In: Proceedings of the seventh international conference on modelling techniques and tools for computer performance evaluation. Lecture notes in computer science, vol 794. Springer, Vienna, pp 353\u2013368"},{"key":"23_CR35","series-title":"Lecture notes in computer science","volume-title":"Proceedings of the second international conference on algebraic biology (AB07)","author":"M Guerriero","year":"2007","unstructured":"Guerriero M, Priami C, Romanel A (2007) Beta-binders with static compartments. In: Proceedings of the second international conference on algebraic biology (AB07). Lecture notes in computer science. Springer, Berlin"},{"key":"23_CR36","unstructured":"Guerriero ML, Priami C (2006) Causality and concurrency in beta-binders. Cosbi Technical Report TR-01-2006. Available at http:\/\/www.cosbi.eu\/templates\/cosbi\/php\/get_paper.php?id=1"},{"key":"23_CR37","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"319","author":"J Heath","year":"2008","unstructured":"Heath J, Kwiatkowska M, Norman G, Parker D, Tymchyshyn O (2008) Probabilistic model checking of complex biological pathways. Theor Comput Sci 319:239\u2013257","journal-title":"Theor Comput Sci"},{"issue":"9\u201310","key":"23_CR38","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1515\/BC.2000.113","volume":"381","author":"J van Helden","year":"2000","unstructured":"van Helden J, Naim A, Mancuso R, Eldridge M, Wernisch L, D DG, Wodak S (2000) Representing and analysing molecular and cellular function using the computer. Biol Chem 381(9\u201310):921\u2013935","journal-title":"Biol Chem"},{"key":"23_CR39","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":"23_CR40","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice\u2013Hall, New York"},{"key":"23_CR41","series-title":"Lecture notes in computer science","volume-title":"Computational methods in systems biology, proceedings of the first international workshop, CMSB 2003","author":"N Kam","year":"2003","unstructured":"Kam N, Harel D, Kugler H, Marelly R, Pnueli A, Hubbard EJA, Stern MJ (2003) Formal modeling of C. elegans development: a scenario-based approach. In: Computational methods in systems biology, proceedings of the first international workshop, CMSB 2003, Roverto, Italy, February 24\u201326, 2003. Lecture notes in computer science, vol 2602. Springer, Berlin"},{"key":"23_CR42","unstructured":"The kappa factory. http:\/\/www.lix.polytechnique.fr\/~krivine\/kappaFactory.html"},{"issue":"1","key":"23_CR43","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1093\/nar\/30.1.56","volume":"30","author":"PD Karp","year":"2002","unstructured":"Karp PD, Riley M, Saier M, Paulsen I, Collado-Vides J, Paley S, Pellegrini-Toole A, Bonavides C, Gama-Castro S (2002) The EcoCyc database. Nucleic Acids Res 30(1):56\u201358","journal-title":"Nucleic Acids Res"},{"issue":"12","key":"23_CR44","doi-asserted-by":"publisher","first-page":"1129","DOI":"10.1093\/bioinformatics\/16.12.1129","volume":"16","author":"T Kazic","year":"2000","unstructured":"Kazic T (2000) Semiotes: a semantics for sharing. Bioinformatics 16(12):1129\u20131144","journal-title":"Bioinformatics"},{"issue":"2","key":"23_CR45","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1073\/pnas.44.2.98","volume":"44","author":"D Koshland","year":"1958","unstructured":"Koshland D (1958) Application of a theory of enzyme specificity to protein synthesis. Proc Natl Acad Sci USA 44(2):98\u2013104","journal-title":"Proc Natl Acad Sci USA"},{"key":"23_CR46","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/978-3-540-73433-8_17","volume-title":"Algebraic biology, second international conference, AB 2007","author":"C Kuttler","year":"2007","unstructured":"Kuttler C, Lhoussaine C, Niehren C (2007) A stochastic pi calculus for concurrent objects. In: Algebraic biology, second international conference, AB 2007, Castle of Hagenberg, Austria, July 2\u20134, 2007. Lecture notes in computer science, vol 4545. Springer, Berlin, pp 232\u2013246"},{"issue":"4230","key":"23_CR47","first-page":"24","volume":"VII","author":"C Kuttler","year":"2006","unstructured":"Kuttler C, Niehren J (2006) Gene regulation in the pi calculus: simulating cooperativity at the lambda switch. Trans Comput Syst Biol VII(4230):24\u201355","journal-title":"Trans Comput Syst Biol"},{"key":"23_CR48","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Proceedings TOOLS 2002","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska M, Norman G, Parker D (2002) PRISM: probabilistic symbolic model checker. In: Proceedings TOOLS 2002. Lecture notes in computer science, vol 2324. Springer, Berlin, pp 200\u2013204"},{"key":"23_CR49","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.entcs.2007.05.013","volume":"171","author":"C Laneve","year":"2007","unstructured":"Laneve C, Tarissan F (2007) A simple calculus for proteins and cells. Electron Notes Theor Comput Sci 171:139\u2013154","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"3","key":"23_CR50","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.entcs.2004.08.072","volume":"180","author":"P Lecca","year":"2007","unstructured":"Lecca P, Priami C (2007) Cell cycle control in eukaryotes: a biospi model. Electron Notes Theor Comput Sci 180(3):51\u201363","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"6","key":"23_CR51","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1177\/0037549704045800","volume":"80","author":"P Lecca","year":"2004","unstructured":"Lecca P, Priami C, Quaglia P, Rossi B, Laudanna C, Costantin G (2004) A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment. SIMULATION: Trans Soc Mod Simul Int 80(6):273\u2013288","journal-title":"SIMULATION: Trans Soc Mod Simul Int"},{"key":"23_CR52","unstructured":"Leye S, Priami C, Uhrmacher A (2007) A parallel beta-binders simulator. Tech Rep TR-17-2007, The Microsoft Research, University of Trento CoSBi"},{"key":"23_CR53","series-title":"Lecture notes in computer science","first-page":"1","volume-title":"Proceedings of the computational methods in systems biology, international conference (CMSB 2006)","author":"M Miculan","year":"2006","unstructured":"Miculan M, Bacci G (2006) Modal logics for brane calculus. In: Proceedings of the computational methods in systems biology, international conference (CMSB 2006). Lecture notes in computer science, vol 4210. Springer, Berlin, pp 1\u201316"},{"key":"23_CR54","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice\u2013Hall, New York"},{"key":"23_CR55","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":"23_CR56","unstructured":"M\u00f6bius home page. http:\/\/www.mobius.uiuc.edu\/"},{"issue":"3","key":"23_CR57","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.entcs.2004.01.041","volume":"180","author":"F Nielson","year":"2007","unstructured":"Nielson F, Nielson H, Priami C, Rosa D (2007) Control flow analysis for BioAmbients. Electron Notes Theor Comput Sci 180(3):65\u201379","journal-title":"Electron Notes Theor Comput Sci"},{"key":"23_CR58","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-540-27864-1_8","volume-title":"Proceedings of the static analysis, 11th international symposium (SAS\u201904)","author":"HR Nielson","year":"2004","unstructured":"Nielson HR, Nielson F, Pilegaard H (2004) Spatial analysis of bioambients. In: Giacobazzi R (ed) Proceedings of the static analysis, 11th international symposium (SAS\u201904). Lecture notes in computer science, vol 3148. Springer, Berlin, pp 69\u201383"},{"key":"23_CR59","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane computing. An introduction","author":"G P\u0103un","year":"2002","unstructured":"P\u0103un G (2002) Membrane computing. An introduction. Springer, Berlin"},{"key":"23_CR60","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1093\/bioinformatics\/18.6.825","volume":"18","author":"M Peleg","year":"2002","unstructured":"Peleg M, Yeh I, Altman R (2002) Modeling biological processes using workflow and Petri net models. Bioinformatics 18:825\u2013837","journal-title":"Bioinformatics"},{"key":"23_CR61","unstructured":"The PEPA plug-in project. http:\/\/www.dcs.ed.ac.uk\/pepa\/tools\/plugin\/"},{"key":"23_CR62","unstructured":"Phillips A, Cardelli L (2004) A correct abstract machine for the stochastic pi-calculus. In: BioConcur \u201904, workshop on concurrent models in molecular biology"},{"key":"23_CR63","first-page":"123","volume":"4230","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 4230:123\u2013152","journal-title":"Trans Comput Syst Biol"},{"key":"23_CR64","unstructured":"Pilegaard H, Nielson F, Nielson HR (2005) Static analysis of a model of the LDL degradation pathway. In: Plotkin G (ed) Third international workshop on computational methods in systems biology (CMSB\u201905)"},{"key":"23_CR65","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":"3\u20134","key":"23_CR66","first-page":"128","volume":"2","author":"D Prandi","year":"2006","unstructured":"Prandi D, Priami C, Quaglia P (2006) Shape spaces in formal interactions. ComPlexUS 2(3\u20134):128\u2013139","journal-title":"ComPlexUS"},{"key":"23_CR67","series-title":"Lecture notes in bioinformatics","first-page":"21","volume-title":"Proceedings of the 2nd international workshop on computational methods in systems biology (CMSB \u201904)","author":"C Priami","year":"2005","unstructured":"Priami C, Quaglia P (2005) Beta binders for biological interactions. In: Danos V, Sch\u00e4chter V (eds) Proceedings of the 2nd international workshop on computational methods in systems biology (CMSB \u201904). Lecture notes in bioinformatics, vol 3082. Springer, Berlin, pp 21\u201334"},{"issue":"1","key":"23_CR68","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, Silverman W, Shapiro E (2001) Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf Process Lett 80(1):25\u201331","journal-title":"Inf Process Lett"},{"issue":"1","key":"23_CR69","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 EM, Silverman W, Cardelli L, Shapiro EY (2004) BioAmbients: an abstraction for biological compartments. Theor Comput Sci 325(1):141\u2013167","journal-title":"Theor Comput Sci"},{"key":"23_CR70","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A Regev","year":"2002","unstructured":"Regev A, Shapiro E (2002) Cells as computation. Nature 419:343","journal-title":"Nature"},{"key":"23_CR71","unstructured":"Regev A, Silverman W, Shapiro E (2001) Representation and simulation of biochemical processes using the \u03c0-calculus process algebra. In: Proceedings of pacific symposium on biocomputing (PSB\u201901), vol\u00a06, pp\u00a0459\u2013470"},{"key":"23_CR72","unstructured":"Romanel A, Dematt\u00e9 L, Priami C (2007) The beta workbench. Tech rep TR-03-2007, The Microsoft Research, University of Trento CoSBi"},{"key":"23_CR73","volume-title":"The \u03c0-calculus: a theory of mobile processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi D, Walker D (2001) The \u03c0-calculus: a theory of mobile processes. Cambridge University Press, Cambridge"},{"issue":"4","key":"23_CR74","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1089\/153623103322637670","volume":"7","author":"HM Sauro","year":"2003","unstructured":"Sauro HM, Hucka M, Finney A, Wellock C, Bolouri H, Doyle J, Kitano H (2003) Next generation simulation tools: the systems biology workbench and biospice integration. OMICS: J\u00a0Integr Biol 7(4):355\u2013372","journal-title":"OMICS: J\u00a0Integr Biol"},{"issue":"3","key":"23_CR75","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1038\/73786","volume":"18","author":"S Schuster","year":"2000","unstructured":"Schuster S, Fell DA, Dandekar T (2000) A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks. Nat Biotechnol 18(3):326\u2013332","journal-title":"Nat Biotechnol"},{"key":"23_CR76","unstructured":"SPiM home page. http:\/\/research.microsoft.com\/en-us\/projects\/spim\/"},{"key":"23_CR77","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-9427-4","volume-title":"Biochemistry","author":"J Stenesh","year":"1998","unstructured":"Stenesh J (1998) Biochemistry. Springer, Berlin"},{"key":"23_CR78","first-page":"5","volume-title":"Pacific symposium on biocomputing","author":"Z Szallasi","year":"1999","unstructured":"Szallasi Z (1999) Genetic network analysis in light of massively parallel biological data. In: Altman R, Dunker A, Hunter L, Klein T (eds) Pacific symposium on biocomputing, vol 4. World Scientific, Singapore, pp 5\u201316"},{"key":"23_CR79","unstructured":"Versari C, Busi N (2007) Efficient stochastic simulation of biological systems with multiple variable volumes. In: Proceedings FBTC 07"},{"issue":"1","key":"23_CR80","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1093\/nar\/29.1.281","volume":"29","author":"E Wingender","year":"2001","unstructured":"Wingender E, Chen X, Fricke E, Geffers R, Hehl R, Liebich I, M MK, Matys V, Michael H, Ohnhauser R, Pruss M, Schacherer F, Thiele S, Urbach S (2001) The TRANSFAC system on gene expression regulation. Nucleic Acids Res 29(1):281\u2013283","journal-title":"Nucleic Acids Res"},{"issue":"9","key":"23_CR81","doi-asserted-by":"publisher","first-page":"4649","DOI":"10.1073\/pnas.97.9.4649","volume":"97","author":"TM Yi","year":"2000","unstructured":"Yi TM, Huang Y, Simon MI, Doyle J (2000) Robust perfect adaptation in bacterial chemotaxis through integral feedback control. Proc Natl Acad Sci USA 97(9):4649\u20134653","journal-title":"Proc Natl Acad Sci USA"}],"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_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,20]],"date-time":"2024-03-20T10:20:59Z","timestamp":1710930059000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-88869-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540888680","9783540888697"],"references-count":82,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88869-7_23","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"}}]}}