{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T08:55:21Z","timestamp":1753520121851},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642038440"},{"type":"electronic","value":"9783642038457"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03845-7_13","type":"book-chapter","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T02:41:17Z","timestamp":1251254477000},"page":"189-204","source":"Crossref","is-referenced-by-count":3,"title":["Equivalence and Discretisation in Bio-PEPA"],"prefix":"10.1007","author":[{"given":"Vashti","family":"Galpin","sequence":"first","affiliation":[]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/11732488_10","volume-title":"Transactions on Computational Systems Biology IV","author":"R. Blossey","year":"2006","unstructured":"Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks. In: Priami, C., Cardelli, L., Emmott, S. (eds.) Transactions on Computational Systems Biology IV. LNCS (LNBI), vol.\u00a03939, pp. 99\u2013122. Springer, Heidelberg (2006)"},{"key":"13_CR2","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, 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"},{"key":"13_CR3","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":"13_CR4","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","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., Sch\u00e4chter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 20\u201333. Springer, Heidelberg (2005)"},{"key":"13_CR5","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.: BioAmbients: an abstraction for biological compartments. Theoretical Computer Science\u00a0325, 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theoretical Computer Science (in press)","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A compositional approach to performance modelling. CUP (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-540-68894-5_8","volume-title":"SFM 2008","author":"F. Ciocchetta","year":"2008","unstructured":"Ciocchetta, F., Hillston, J.: Calculi for biological systems. In: Formal Methods for Computational Systems Biology. In: SFM 2008. LNCS, vol.\u00a05016, pp. 265\u2013312. Springer, Heidelberg (2008)"},{"key":"13_CR9","unstructured":"Ciocchetta, F.: Bio-PEPA with SBML-like events. In: Back, R.J., Petre, I. (eds.) Proceedings of the Workshop on Computational Models for Cell Processes, pp. 11\u201322 (2008)"},{"key":"13_CR10","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Technical Report EDI-INF-RR-1231, School of Informatics, University of Edinburgh (2008)"},{"key":"13_CR11","unstructured":"Ellavarason, K.: An automatic mapping from the Systems Biology Markup Language to the Bio-PEPA process algebra. Master\u2019s thesis, University of Trento (2008)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Akman, O.E., Ciocchetta, F., Degasperi, A., Guerriero, M.L.: Modelling biological clocks with Bio-PEPA: stochasticity and robustness for the Neurospora Crassa circadian network. To appear in Proceedings of CMSB 2009 (2009)","DOI":"10.1007\/978-3-642-03845-7_4"},{"key":"13_CR13","unstructured":"Guerriero, M.L.: Qualitative and quantitative analysis of a Bio-PEPA model of the gp130\/JAK\/STAT signalling pathway. To appear in TCSB"},{"key":"13_CR14","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature\u00a0419, 343 (2002)","journal-title":"Nature"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.tcs.2008.04.011","volume":"404","author":"C. Laneve","year":"2008","unstructured":"Laneve, C., Tarissan, F.: A simple calculus for proteins and cells. Theoretical Computer Science\u00a0404, 127\u2013141 (2008)","journal-title":"Theoretical Computer Science"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.compbiomed.2006.01.006","volume":"37","author":"M.C. Pinto","year":"2007","unstructured":"Pinto, M.C., Foss, L., Mombach, J.C.M., Ribeiro, L.: Modelling, property verification and behavioural equivalence of lactose operon regulation. Computers in Biology and Medicine\u00a037, 134\u2013148 (2007)","journal-title":"Computers in Biology and Medicine"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.tcs.2004.03.064","volume":"325","author":"M. Antoniotti","year":"2004","unstructured":"Antoniotti, M., Piazza, C., Policriti, A., Simeoni, M., Mishra, B.: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theoretical Computer Science\u00a0325, 45\u201367 (2004)","journal-title":"Theoretical Computer Science"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Ciobanu, G., Aman, B.: On the relationship between membranes and ambients. BioSystems\u00a0(91), 515\u2013530 (2008)","DOI":"10.1016\/j.biosystems.2007.01.006"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s00165-008-0071-x","volume":"20","author":"R. Barbuti","year":"2008","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: Bisimulation in calculi modelling membranes. Formal Aspects of Computing\u00a020, 351\u2013377 (2008)","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03845-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T09:24:34Z","timestamp":1552123474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03845-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642038440","9783642038457"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03845-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}