{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T08:50:19Z","timestamp":1753519819552,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540739395"},{"type":"electronic","value":"9783540739401"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73940-1_3","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T13:30:14Z","timestamp":1188307814000},"page":"22-34","source":"Crossref","is-referenced-by-count":12,"title":["A Stochastic Semantics for BioAmbients"],"prefix":"10.1007","author":[{"given":"Linda","family":"Brodo","sequence":"first","affiliation":[]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","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. Th. Comp. Sci.\u00a0325(1), 141\u2013167 (2004)","journal-title":"Th. Comp. Sci."},{"key":"3_CR2","series-title":"Lecture Notes in Bioinformatics","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.: Modelling the influence of RKIP an the ERK signalling pathway using the stochastic process algebra PEPA. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"3_CR3","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Chabrier-River, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, p. 68. Springer, Heidelberg (2006)"},{"key":"3_CR4","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","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)"},{"issue":"1","key":"3_CR5","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. Th. Comp. Sci.\u00a0240(1), 177\u2013213 (2000)","journal-title":"Th. Comp. Sci."},{"key":"3_CR6","unstructured":"Cardelli, L., Philips, A.: A correct abstract machine for the stochastic \u03c0-calculus. In: Proc. Concurrent Models in Molecular Biology (2004)"},{"key":"3_CR7","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11885191_7","volume-title":"Computational Methods in Systems Biology","author":"D. Chiarugi","year":"2006","unstructured":"Chiarugi, D., Curti, M., Degano, P., Lo Brutto, G., Marangoni, R.: Feedbacks and oscillations in the virtual cell VICE. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, p. 93. Springer, Heidelberg (2006)"},{"key":"3_CR8","unstructured":"Clark, G., Hillston, J.: Towards automatic derivation of performance measures from pepa models. In: Proc. UK Performance Engineering Workshop, pp. 65\u201381 (1996)"},{"issue":"1","key":"3_CR9","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. Th. Comp. Sci.\u00a0325(1), 69\u2013110 (2004)","journal-title":"Th. Comp. Sci."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"P. Goss","year":"1998","unstructured":"Goss, P., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic petri nets. Proc. National Academy of Science USA\u00a095, 6750\u20136754 (1998)","journal-title":"Proc. National Academy of Science USA"},{"key":"3_CR11","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11885191_3","volume-title":"Computational Methods in Systems Biology","author":"J. Heat","year":"2006","unstructured":"Heat, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, p. 32. Springer, Heidelberg (2006)"},{"key":"3_CR12","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"3_CR13","volume-title":"Foundations of Systems Biology","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Foundations of Systems Biology. MIT Press, Cambridge (2002)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Lecca, P., Priami, C., Quaglia, P., Rossi, B., Laudanna, C., Costantin, G.: A stochastic process algebra approach to simulation of autoreactive lymphocyte recruiment. SIMULATION 80(4) (2004)","DOI":"10.1177\/0037549704045800"},{"key":"3_CR15","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"1","key":"3_CR16","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.: A calculus of mobile processes (i and ii). Information and Computation\u00a0100(1), 1\u201372 (1992)","journal-title":"Information and Computation"},{"key":"3_CR17","unstructured":"Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: Its concept and an application for molecular interaction. Frontiers Science Series 30 (2000)"},{"issue":"7","key":"3_CR18","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(7), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"3_CR19","series-title":"Lecture Notes in Bioinformatics","first-page":"21","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. 21\u201334. Springer, Heidelberg (2005)"},{"issue":"1","key":"3_CR20","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(1), 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"3_CR21","unstructured":"Regev, A.: Computational Systems Biology: A Calculus for Biomolecular knowledge. PhD thesis, Tel Aviv University (2002)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Regev, A., Shapiro, E.T., Silverman, W.: Representation and simulation of biochemical processes using the \u03c0-calculus process algebra. In: Proc. Pacific Symposium on Biocomputing, vol. 6, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73940-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:05:59Z","timestamp":1737396359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73940-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540739395","9783540739401"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73940-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}