{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:58:32Z","timestamp":1725843512498},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319274355"},{"type":"electronic","value":"9783319274362"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-27436-2_11","type":"book-chapter","created":{"date-parts":[[2015,12,16]],"date-time":"2015-12-16T07:06:46Z","timestamp":1450249606000},"page":"179-200","source":"Crossref","is-referenced-by-count":2,"title":["A Global Occurrence Counting Analysis for Brane Calculi"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Bodei","sequence":"first","affiliation":[]},{"given":"Linda","family":"Brodo","sequence":"additional","affiliation":[]},{"given":"Roberta","family":"Gori","sequence":"additional","affiliation":[]},{"given":"Diana","family":"Hermith","sequence":"additional","affiliation":[]},{"given":"Francesca","family":"Levi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,17]]},"reference":[{"issue":"33\u201334","key":"11_CR1","doi-asserted-by":"publisher","first-page":"3110","DOI":"10.1016\/j.tcs.2008.09.036","volume":"410","author":"C Bodei","year":"2009","unstructured":"Bodei, C.: Control flow analysis for beta-binders with and without static compartments. Theor. Comput. Sci. 410(33\u201334), 3110\u20133127 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR2","unstructured":"Bodei, C., Brodo., L.: Brane calculi systems: A static preview of their possible behaviour. CoRR abs\/1108.3429 (2011)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.entcs.2013.11.003","volume":"299","author":"C Bodei","year":"2013","unstructured":"Bodei, C., Gori, R., Levi, F.: An analysis for causal properties of membrane interactions. Electr. Notes Theor. Comput. Sci. 299, 15\u201331 (2013)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.tcs.2015.03.014","volume":"587","author":"C Bodei","year":"2015","unstructured":"Bodei, C., Gori, R., Levi, F.: Causal static analysis for brane calculi. Theor. Comput. Sci. 587, 73\u2013103 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Busi, N., Zandron, C.: Modeling and analysis of biological processes by mem(brane) calculi and systems. In: Proceedings of the Winter Simulation Conference WSC 2006, pp. 1646\u20131655. WSC (2006)","DOI":"10.1109\/WSC.2006.322939"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science (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. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"issue":"1","key":"11_CR7","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. Theor. Comput. Sci. 240(1), 177\u2013213 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of generalized type unions. In: Language Design for Reliable Software, pp. 77\u201394 (1977)","DOI":"10.1145\/390017.808314"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-540-45099-3_8","volume-title":"Static Analysis","author":"J Feret","year":"2000","unstructured":"Feret, J.: Confidentiality analysis of mobile systems. In: Palsberg, J. (ed.) Static Analysis. LNCS, vol. 1824, pp. 135\u2013154. Springer, Heidelberg (2000)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/3-540-47764-0_24","volume-title":"Static Analysis","author":"J Feret","year":"2001","unstructured":"Feret, J.: Abstract interpretation-based static analysis of mobile ambients. In: Cousot, P. (ed.) SAS 2001. LNCS, vol. 2126, p. 412. Springer, Heidelberg (2001)"},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1571-0661(05)01155-2","volume":"39","author":"J Feret","year":"2001","unstructured":"Feret, J.: Occurrence counting analysis for the pi-calculus. Electr. Notes Theor. Comput. Sci. 39(2), 1\u201318 (2001)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"11_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.jlap.2004.01.005","volume":"63","author":"J Feret","year":"2005","unstructured":"Feret, J.: Abstract interpretation of mobile systems. J. Log. Algebr. Program. 63(1), 59\u2013130 (2005)","journal-title":"J. Log. Algebr. Program."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Feret, J.: Analysis of mobile systems by abstract interpretation. Ph.D. thesis, \u00c8cole Polytechnique, Paris, France (2005)","DOI":"10.1016\/j.jlap.2004.01.005"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/11924661_15","volume-title":"Programming Languages and Systems","author":"R Gori","year":"2006","unstructured":"Gori, R., Levi, F.: An analysis for proving temporal properties of biological systems. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol. 4279, pp. 234\u2013252. Springer, Heidelberg (2006)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/11575467_25","volume-title":"Programming Languages and Systems","author":"R Gori","year":"2005","unstructured":"Gori, R., Levi, F.: A new occurrence counting analysis for bioambients. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 381\u2013400. Springer, Heidelberg (2005)"},{"issue":"8","key":"11_CR16","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1016\/j.ic.2010.03.004","volume":"208","author":"R Gori","year":"2010","unstructured":"Gori, R., Levi, F.: Abstract interpretation based verification of temporal properties for bioambients. Inf. Comput. 208(8), 869\u2013921 (2010)","journal-title":"Inf. Comput."},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-540-88869-7_23","volume-title":"Algorithmic Bioprocesses Natural Computing Series","author":"M Guerriero","year":"2009","unstructured":"Guerriero, M., Prandi, D., Priami, C., Quaglia, P.: Process calculi abstractions for biology. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses Natural Computing Series, pp. 463\u2013486. Springer, Heidelberg (2009)"},{"issue":"2","key":"11_CR18","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.ic.2003.06.001","volume":"188","author":"F Levi","year":"2004","unstructured":"Levi, F., Maffeis, S.: On abstract interpretation of mobile ambients. Inf. Comput. 188(2), 179\u2013240 (2004)","journal-title":"Inf. Comput."},{"key":"11_CR19","volume-title":"Communicating and mobile systems: the $$\\pi $$ -calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the $$\\pi $$ -calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"2\u20133","key":"11_CR20","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/S0167-6423(02)00131-4","volume":"47","author":"F Nielson","year":"2003","unstructured":"Nielson, F., Hansen, R., Nielson, H.R.: Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2\u20133), 145\u2013175 (2003)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"11_CR21","first-page":"65","volume":"180","author":"F Nielson","year":"2007","unstructured":"Nielson, F., Nielson, H.R., Priami, C., da Rosa, D.S.: Control flow analysis for bioambients. ENTCS 180(3), 65\u201379 (2007)","journal-title":"ENTCS"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Nielson, H.R., Nielson, F.: Shape analysis for mobile ambients. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000), pp. 142\u2013154. ACM Press (2000)","DOI":"10.1145\/325694.325711"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-27864-1_8","volume-title":"Static Analysis","author":"HR Nielson","year":"2004","unstructured":"Nielson, H.R., Nielson, F., Pilegaard, H.: Spatial analysis of bioambients. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol. 3148, pp. 69\u201383. Springer, Heidelberg (2004)"},{"key":"11_CR24","unstructured":"Pilegaard, H., Nielson, H.R., Nielson, F.: Context dependent analysis of bioambients. In: Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, vol. 06161 (2006)"},{"issue":"1\u20132","key":"11_CR25","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/j.jlap.2008.05.006","volume":"77","author":"H Pilegaard","year":"2008","unstructured":"Pilegaard, H., Nielson, H.R., Nielson, F.: Pathway analysis for bioambients. J. Log. Algebr. Program. 77(1\u20132), 92\u2013130 (2008)","journal-title":"J. Log. Algebr. Program."},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science (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. 3082, pp. 20\u201333. Springer, Heidelberg (2005)"},{"issue":"1","key":"11_CR27","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 compartements. Theor. Comput. Sci. 325(1), 141\u2013167 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"11_CR28","first-page":"187","volume":"171","author":"A Vitale","year":"2007","unstructured":"Vitale, A., Mauri, G.: Communication via mobile vesicles in brane calculi. ENTCS 171(2), 187\u2013196 (2007)","journal-title":"ENTCS"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27436-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,29]],"date-time":"2022-05-29T12:06:31Z","timestamp":1653825991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27436-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319274355","9783319274362"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27436-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}