{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:46Z","timestamp":1761597226434},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540227915"},{"type":"electronic","value":"9783540278641"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27864-1_8","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T12:35:37Z","timestamp":1284640537000},"page":"69-83","source":"Crossref","is-referenced-by-count":13,"title":["Spatial Analysis of BioAmbients"],"prefix":"10.1007","author":[{"given":"Hanne Riis","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Flemming","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"Pilegaard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-45500-0_2","volume-title":"Theoretical Aspects of Computer Software","author":"M. Bugliesi","year":"2001","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Boxed Ambients. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, pp. 37\u201363. Springer, Heidelberg (2001)"},{"key":"8_CR2","unstructured":"Cardelli, L.: Brane calculi (2003), Available from http:\/\/www.luca.demon.co.uk"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"8_CR4","unstructured":"Bodei, C., Degano, P., Priami, C., Zannone, N.: An enhanced cfa for security policies. In: Proceedings of the Workshop on Issues on the Theory of Security (WITS 2003) (co-located with ETAPS 2003) (2003)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-36575-3_21","volume-title":"Programming Languages and Systems","author":"V. Danos","year":"2003","unstructured":"Danos, V., Laneve, C.: Core formal molecular biology. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 302\u2013318. Springer, Heidelberg (2003)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1145\/325694.325741","volume-title":"Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000)","author":"F. Levi","year":"2000","unstructured":"Levi, F., Sangiorgi, D.: Controlling interference in ambients. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000), pp. 352\u2013364. ACM Press, New York (2000)"},{"key":"8_CR7","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)"},{"key":"8_CR8","first-page":"133","volume":"10","author":"M. Nagasaki","year":"1999","unstructured":"Nagasaki, M., Onami, S., Miyano, S.: Kitano H. Bio-calculus: Its concept and molecular interaction. Genome Informatics\u00a010, 133\u2013143 (1999)","journal-title":"Genome Informatics"},{"key":"8_CR9","unstructured":"Nielson, F., Riis Nielson, H., Priami, C., Schuch da Rosa, D.: Control Flow Analysis for BioAmbients. In: Proceedings of BioConcur., to appear in ENTCS (2004)"},{"key":"8_CR10","first-page":"335","volume":"9","author":"F. Nielson","year":"2002","unstructured":"Nielson, F., Riis Nielson, H., Seidl, H.: A succinct solver for ALFP. Nordic Journal of Computing\u00a09, 335\u2013372 (2002)","journal-title":"Nordic Journal of Computing"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-24631-2_6","volume-title":"Foundations of Security Analysis and Design II","author":"H.R. Nielson","year":"2004","unstructured":"Nielson, H.R., Nielson, F., Buchholtz, M.: Security for Mobility. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2001. LNCS, vol.\u00a02946, pp. 207\u2013265. Springer, Heidelberg (2004)"},{"key":"8_CR12","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.: Application of a stochastic passing-name calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"8_CR13","unstructured":"Regev, A.: Computational system biology: A calculus for biomolecular knowledge. PhD thesis, Tel Aviv University (2003)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An abstraction for biological compartments. Theoretical Computer Science (2004) (to appear)","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the \u03c0-calculus process algebra. In: Pacific Symposium of Biocomputing (PSB 2001), pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27864-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:24:44Z","timestamp":1605741884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27864-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540227915","9783540278641"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27864-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}