{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:37:10Z","timestamp":1742942230038,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"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_24","type":"book-chapter","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T21:41:55Z","timestamp":1250113315000},"page":"487-504","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style"],"prefix":"10.1007","author":[{"given":"Jane","family":"Hillston","sequence":"first","affiliation":[]},{"given":"Adam","family":"Duguid","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,8,13]]},"reference":[{"key":"24_CR1","first-page":"4999","volume":"1","author":"AP Arkin","year":"2003","unstructured":"Arkin AP, Rao CV (2003) Stochastic chemical kinetics and the quasi-steady-state assumption: application to the Gillespie algorithm. J Chem Phys 1:4999\u20135010","journal-title":"J Chem Phys"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"van Bakel S, Kahn I, Vigliotti M, Heath J (2007) Modeling intracellular fate of FGF receptors with bio-ambients. Electron Notes Comput Sci","DOI":"10.1016\/j.entcs.2008.11.026"},{"key":"24_CR3","first-page":"29","volume-title":"Proceedings of CS&P\u201905, 14th international workshop on concurrency specification and programming","author":"R Barbuti","year":"2005","unstructured":"Barbuti R, Maggiolo-Schettini A, Milazzo P, Troina A (2005) A calculus of looping sequences for modeling microbiological systems. In: Proceedings of CS&P\u201905, 14th international workshop on concurrency specification and programming. Warsaw University, Warsaw, pp 29\u201340"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1049\/sb:20045008","volume":"1","author":"BJ Bornstein","year":"2004","unstructured":"Bornstein BJ, Doyle JC, Finney A, Funahashi A, Hucka M, Keating SM, Kitano H, Kovitz BL, Matthews J, Shapiro BE, Schilstra MJ (2004) Evolving a lingua franca and associated software infrastructure for computational systems biology: the systems biology markup language (SBML) project. Syst Biol 1:41\u201353","journal-title":"Syst Biol"},{"key":"24_CR5","unstructured":"Bortolussi L, Policriti A (2006) Modeling biological systems in stochastic concurrent constraint programming. In: Proceedings of WCB 2006"},{"key":"24_CR6","volume-title":"Distributed systems analysis with CCS","author":"G Bruns","year":"1997","unstructured":"Bruns G (1997) Distributed systems analysis with CCS. Prentice\u2013Hall, New York"},{"key":"24_CR7","unstructured":"Calder M, Gilmore S, Hillston J (2005) Automatically deriving ODEs from process algebra models of signaling pathways. In: Proceedings of CMSB\u201905, pp 204\u2013215"},{"key":"24_CR8","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11905455_1","volume-title":"Transactions on computational systems biology VII","author":"M Calder","year":"2006","unstructured":"Calder M, Gilmore S, Hillston J (2006) Modeling the influence of RKIP on the ERK signaling pathway using the stochastic process algebra PEPA. In: Transactions on computational systems biology VII. Lecture notes in computer science, vol 4230. Springer, Berlin, pp 1\u201323"},{"key":"24_CR9","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/11885191_5","volume-title":"Proceedings of CMSB\u201906","author":"M Calder","year":"2006","unstructured":"Calder M, Duguid A, Gilmore S, Hillston J (2006) Stronger computational modeling of signaling pathways using both continuous and discrete-space methods. In: Proceedings of CMSB\u201906. Lecture notes in computer science, vol 4210. Springer, Berlin, pp 63\u201377"},{"issue":"14","key":"24_CR10","doi-asserted-by":"publisher","first-page":"144917","DOI":"10.1063\/1.2052596","volume":"123","author":"Y Cao","year":"2005","unstructured":"Cao Y, Gillespie DT, Petzold L (2005) Accelerated stochastic simulation of the stiff enzyme-substrate reaction. J Chem Phys 123(14):144917\u2013144929","journal-title":"J Chem Phys"},{"key":"24_CR11","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":"Proceedings of workshop on computational methods in systems biology (CMSB\u201904)","author":"L Cardelli","year":"2005","unstructured":"Cardelli L (2005) Brane calculi\u2014interactions of biological membranes. In: Proceedings of workshop on computational methods in systems biology (CMSB\u201904). Lecture notes in computer science, vol 3082. Springer, Berlin, pp 257\u2013278"},{"issue":"1","key":"24_CR12","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"L Cardelli","year":"2004","unstructured":"Cardelli L, Panina EM, Regev A, Shapiro E, Silverman W (2004) BioAmbients: an abstraction for biological compartments. Theor Comput Sci 325(1):141\u2013167","journal-title":"Theor Comput Sci"},{"key":"24_CR13","unstructured":"Cardelli L (2006) Artificial biochemistry. Technical Report TR-08-2006, The Microsoft Research, University of Trento Centre for Computational and Systems Biology"},{"issue":"3","key":"24_CR14","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":"24_CR15","first-page":"64","volume":"4","author":"N Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier N, Fages F, Soliman S (2004) Modeling and querying interaction networks in the biochemical abstract machine BIOCHAM. J Biol Phys Chem 4:64\u201373","journal-title":"J Biol Phys Chem"},{"key":"24_CR16","first-page":"1801","volume":"9","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 9:1801\u20131806","journal-title":"PLOS Comput Biol"},{"key":"24_CR17","doi-asserted-by":"publisher","first-page":"2413","DOI":"10.1101\/gr.1195703","volume":"13","author":"K-H Cho","year":"2003","unstructured":"Cho K-H, Shin S-Y, Lee H-W, Wolkenhauer O (2003) Investigations into the analysis and modeling of the TNF\u03b1-mediated NF-\u03baB-signaling pathway. Genome Res 13:2413\u20132422","journal-title":"Genome Res"},{"issue":"3","key":"24_CR18","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.entcs.2007.12.008","volume":"194","author":"F Ciocchetta","year":"2008","unstructured":"Ciocchetta F, Hillston J (2008) Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. Electron Notes Theor Comput Sci 194(3):103\u2013117","journal-title":"Electron Notes Theor Comput Sci"},{"key":"24_CR19","unstructured":"Ciocchetta F, Hillston J (2008) Bio-PEPA: a framework for the modeling and analysis of biological systems. Technical Report of the School of Informatics, University of Edinburgh, EDI-INF-RR-1231"},{"key":"24_CR20","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72522-0_4","volume-title":"Formal methods in performance modeling","author":"A Clark","year":"2007","unstructured":"Clark A, Gilmore S, Hillston J, Tribastone M (2007) Stochastic process algebras. In: Formal methods in performance modeling, Bertinoro, June 2007. Lecture notes in computer science, vol 4486. Springer, Berlin, pp\u00a0132\u2013179"},{"key":"24_CR21","unstructured":"Danos V, Krivine J (2003) Formal molecular biology done in CCS-R. In: Proceedings of workshop on concurrent models in molecular biology (BioConcur\u201903)"},{"key":"24_CR22","series-title":"Lecture notes in computer science","volume-title":"Proceedings of CONCUR\u201907","author":"V Danos","year":"2007","unstructured":"Danos V, Feret J, Fontana W, Harmer R, Krivine J (2007) Ruled-based modeling of cellular signaling. In: Proceedings of CONCUR\u201907. Lecture notes in computer science, vol 4703. Springer, Berlin"},{"key":"24_CR23","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1038\/nbt0402-370","volume":"20","author":"C Eichler-Jonsson","year":"2002","unstructured":"Eichler-Jonsson C, Gilles ED, Muller G, Schoeberl B (2002) Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nat Biotechnol 20:370\u2013375","journal-title":"Nat Biotechnol"},{"key":"24_CR24","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":"24_CR25","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional approach to performance modeling","author":"J Hillston","year":"1996","unstructured":"Hillston J (1996) A Compositional approach to performance modeling. Cambridge University Press, Cambridge"},{"key":"24_CR26","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice\u2013Hall, New York"},{"key":"24_CR27","series-title":"International series in computer science","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. International series in computer science, Prentice\u2013Hall, New York"},{"key":"24_CR28","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":"24_CR29","unstructured":"NuMSV model checker. http:\/\/nusmv.irst.itc.it"},{"key":"24_CR30","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-25974-9_3","volume-title":"Proceedings of CMSB\u201904","author":"C Priami","year":"2005","unstructured":"Priami C, Quaglia P (2005) Beta-binders for biological interactions. In: Proceedings of CMSB\u201904. Lecture notes in computer science, vol 3082. Springer, Berlin, pp 20\u201333"},{"issue":"6","key":"24_CR31","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(6):578\u2013589","journal-title":"Comput J"},{"key":"24_CR32","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:25\u201331","journal-title":"Inf Process Lett"},{"key":"24_CR33","unstructured":"Regev A (2001) Representation and simulation of molecular pathways in the stochastic \u03c0-calculus. In: Proceedings of the 2nd workshop on computation of biochemical pathways and genetic networks"},{"key":"24_CR34","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":"24_CR35","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 KH (2004) Modeling and simulation of intracellular dynamics: choosing an appropriate framework. IEEE Trans Nanobiosci 3:200\u2013207","journal-title":"IEEE Trans Nanobiosci"}],"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_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,20]],"date-time":"2024-03-20T10:21:13Z","timestamp":1710930073000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-88869-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540888680","9783540888697"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88869-7_24","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"}}]}}