{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:11:19Z","timestamp":1753521079622},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540887645"},{"type":"electronic","value":"9783540887652"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88765-2_3","type":"book-chapter","created":{"date-parts":[[2009,1,23]],"date-time":"2009-01-23T09:02:06Z","timestamp":1232701326000},"page":"86-113","source":"Crossref","is-referenced-by-count":10,"title":["Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Barbuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Tiberi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Troina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: Hybrid modeling and simulation of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 19\u201332. Springer, Heidelberg (2001)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-540-68894-5_11","volume-title":"Formal Methods for Computational Systems Biology","author":"R. Barbuti","year":"2008","unstructured":"Barbuti, R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P., Pardini, G.: The Calculus of Looping Sequences. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 387\u2013423. Springer, Heidelberg (2008)"},{"key":"3_CR3","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"638","DOI":"10.1007\/978-3-540-72031-7_58","volume-title":"Bioinformatics Research and Applications","author":"R. Barbuti","year":"2007","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P.: Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. In: M\u0103ndoiu, I.I., Zelikovsky, A. (eds.) ISBRA 2007. LNCS (LNBI), vol.\u00a04463, pp. 638\u2013649. Springer, Heidelberg (2007)"},{"key":"3_CR4","first-page":"21","volume":"72","author":"R. Barbuti","year":"2006","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A calculus of looping sequences for modelling microbiological systems. Fund. Inform.\u00a072, 21\u201335 (2006)","journal-title":"Fund. Inform."},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11921240_7","volume-title":"Theoretical Aspects of Computing - ICTAC 2006","author":"R. Barbuti","year":"2006","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: Bisimulation congruences in the calculus of looping sequences. In: Barkaoui, K., Cavalcanti, A., Cerone, A. (eds.) ICTAC 2006. LNCS, vol.\u00a04281, pp. 93\u2013107. Springer, Heidelberg (2006)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: Bisimulations in Calculi Modelling Membranes. Formal Aspects of Computing (to appear, 2008)","DOI":"10.1007\/s00165-008-0071-x"},{"key":"3_CR7","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane calculi. Interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013280. Springer, Heidelberg (2005)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Schachter, V.: Modeling and querying biomolecular interaction networks. Theor. Comput. Sci.\u00a0325, 25\u201344 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR9","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theor. Comput. Sci. (to appear, 2008)"},{"key":"3_CR10","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.T.: Modelling Biochemical Pathways through Enhanced pi-calculus. Theor. Comput. Sci.\u00a0325, 111\u2013140 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-76637-7_10","volume-title":"Programming Languages and Systems","author":"V. Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable modelling of biological pathways. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 139\u2013157. Springer, Heidelberg (2007)"},{"key":"3_CR12","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. Theor. Comput. Sci.\u00a0325, 69\u2013110 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1006\/bulm.2000.0205","volume":"63","author":"J.D. Dockery","year":"2001","unstructured":"Dockery, J.D., Keener, J.P.: A mathematical model for quorum sensing in Pseudomonas aeruginosa. Bulletin of Mathematical Biology\u00a063, 95\u2013116 (2001)","journal-title":"Bulletin of Mathematical Biology"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D. Gillespie","year":"1977","unstructured":"Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem.\u00a081, 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"3_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"1127","DOI":"10.1006\/jmbi.1999.3484","volume":"296","author":"S. James","year":"2000","unstructured":"James, S., Nilsson, P., James, G., Kjelleberg, S., Fagerstroem, T.: Luminescence Control in the Marine Bacterium Vibrio fischeri: An Analysis of the Dynamics of lux Regulation. Journal of Molecular Biology\u00a0296, 1127\u20131137 (2000)","journal-title":"Journal of Molecular Biology"},{"key":"3_CR17","series-title":"ENTCS","volume-title":"Proc. of the 24th Conference on Mathematical Foundations of Programming Semantics (MFPS 2008)","author":"J. Krivine","year":"2008","unstructured":"Krivine, J., Milner, R., Troina, A.: Stochastic Bigraphs. In: Proc. of the 24th Conference on Mathematical Foundations of Programming Semantics (MFPS 2008). ENTCS. Elsevier, Amsterdam (to appear, 2008)"},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. on Software Tools for Technology Transfer\u00a06, 128\u2013142 (2004)","journal-title":"Int. J. on Software Tools for Technology Transfer"},{"key":"3_CR19","first-page":"341","volume-title":"Prooceedings of Pacific Symposium on Biocomputing","author":"H. Matsuno","year":"2000","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri net representation of gene regulatory network. In: Prooceedings of Pacific Symposium on Biocomputing, pp. 341\u2013352. World Scientific Press, Singapore (2000)"},{"key":"3_CR20","unstructured":"Milazzo, P.: Qualitative and quantitative formal modeling of biological systems. Ph.D. Thesis, University of Pisa (2007)"},{"key":"3_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane computing. An introduction","author":"G. P\u01ceun","year":"2002","unstructured":"P\u01ceun, G.: Membrane computing. An introduction. Springer, Heidelberg (2002)"},{"key":"3_CR22","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Romero-Campero, F.J.: Modelling Vibrio fischeri\u2019s behaviour using P systems. In: Proc. of the 8th European Conference on Artificial Life, Systems Biology Workshop (2005)"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. The Computer Journal\u00a038, 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"3_CR24","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., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 20\u201333. Springer, Heidelberg (2005)"},{"key":"3_CR25","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. Inform. Process. Lett.\u00a080, 25\u201331 (2001)","journal-title":"Inform. Process. Lett."},{"key":"3_CR26","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.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci.\u00a0325, 141\u2013167 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cells as computation. Nature\u00a0419, 343 (2002)","journal-title":"Nature"},{"key":"3_CR28","series-title":"Natural Computing Series","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.: The \u03c0-calculus as an abstraction for biomolecular systems. In: Modelling in Molecular Biology. Natural Computing Series, pp. 219\u2013266. Springer, Heidelberg (2004)"},{"key":"3_CR29","first-page":"459","volume-title":"Proc. of Pacific Symposium on Biocomputing","author":"A. Regev","year":"2001","unstructured":"Regev, A., Silverman, W., Shapiro, E.Y.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proc. of Pacific Symposium on Biocomputing, pp. 459\u2013470. World Scientific Press, Singapore (2001)"},{"key":"3_CR30","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1128\/jb.179.2.557-562.1997","volume":"179","author":"A.M. Stevens","year":"1997","unstructured":"Stevens, A.M., Greenberg, E.P.: Quorum sensing in Vibrio fischeri: essential elements for activation of the luminescence genes. J. of Bacteriology\u00a0179, 557\u2013562 (1997)","journal-title":"J. of Bacteriology"},{"key":"3_CR31","doi-asserted-by":"publisher","first-page":"551","DOI":"10.3201\/eid0404.980405","volume":"4","author":"C. Delden Van","year":"1998","unstructured":"Van Delden, C., Iglewski, B.H.: Cell-to-cell signaling and Pseudomonas aeruginosa infections. Emerg. Infect. Dis.\u00a04, 551\u2013560 (1998)","journal-title":"Emerg. Infect. Dis."},{"key":"3_CR32","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s00285-002-0190-6","volume":"47","author":"J.P. Ward","year":"2003","unstructured":"Ward, J.P., King, J.R., Koerber, A.J., Croft, J.M., Sockett, R.E., Williams, P.: Early development and quorum sensing in bacterial biofilms. Journal of Mathematical Biology\u00a047, 23\u201355 (2003)","journal-title":"Journal of Mathematical Biology"},{"key":"3_CR33","doi-asserted-by":"crossref","DOI":"10.1201\/9781420010664","volume-title":"Stochastic modelling for Systems Biology","author":"D. Wilkinson","year":"2006","unstructured":"Wilkinson, D.: Stochastic modelling for Systems Biology. Chapman & Hall\/CRC, Boca Raton (2006)"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1021\/bp970003o","volume":"13","author":"P. Wong","year":"1997","unstructured":"Wong, P., Gladney, S., Keasling, J.D.: Mathematical model of the lac operon: inducer exclusion, catabolite repression, and diauxic growth on glucose and lactose. Biotechnology Progress\u00a013, 132\u2013143 (1997)","journal-title":"Biotechnology Progress"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88765-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,30]],"date-time":"2021-09-30T12:48:24Z","timestamp":1633006104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88765-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540887645","9783540887652"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88765-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}