{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:44:52Z","timestamp":1760820292899,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204916"},{"type":"electronic","value":"9783540399582"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39958-2_8","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:06:04Z","timestamp":1294394764000},"page":"109-123","source":"Crossref","is-referenced-by-count":10,"title":["The Kell Calculus: Operational Semantics and Type System"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Bidinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Amadio, R.: An asynchronous model of locality, failure, and process mobility. Technical report, INRIA Research Report RR-3109, INRIA Sophia-Antipolis, France (1997)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science\u00a096 (1992)","DOI":"10.1016\/0304-3975(92)90185-I"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Boxed ambients. In: 4th International Symposium on Theoretical Aspects of Computer Software, TACS (2001)","DOI":"10.1007\/3-540-45500-0_2"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/3-540-36206-1_8","volume-title":"FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science","author":"M. Bugliesi","year":"2002","unstructured":"Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication Interference in Mobile Boxed Ambients. In: Agrawal, M., Seth, A.K. (eds.) FSTTCS 2002. LNCS, vol.\u00a02556, pp. 71\u201384. Springer, Heidelberg (2002)"},{"key":"8_CR5","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.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, p. 140. Springer, Heidelberg (1998)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-36206-1_9","volume-title":"FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science","author":"G. Castagna","year":"2002","unstructured":"Castagna, G., Zappa, F.: The Seal Calculus Revisited. In: Agrawal, M., Seth, A.K. (eds.) FSTTCS 2002. LNCS, vol.\u00a02556, pp. 85\u201396. Springer, Heidelberg (2002)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Giovannetti, E., Salvo, I.: M3: Mobility types for mobile processes in mobile ambients. In: CATS 2003. ENTCS, vol.\u00a078 (2003)","DOI":"10.1016\/S1571-0661(04)81011-9"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Ferrari, G., Moggi, E., Pugliese, R.: MetaKlaim: A Type-Safe Multi-Stage Language for Global Computing. In: Mathematical Structures in Computer Science (2003) (to appear)","DOI":"10.1017\/S0960129504004165"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-44929-9_26","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"C. Fournet","year":"2000","unstructured":"Fournet, C., Levy, J.J., Schmitt, A.: An asynchronous distributed implementation of mobile ambients. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, p. 348. Springer, Heidelberg (2000)"},{"key":"8_CR10","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Technical report, Technical Report 2\/98 \u2013 School of Cognitive and Computer Sciences, University of Sussex, UK (1998)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Levi, F., Sangiorgi, D.: Controlling interference in ambients. In: Proceedings 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2000 (2000)","DOI":"10.1145\/325694.325741"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Merro, M., Hennessy, M.: Bisimulation congruences in safe ambients. In: 29th ACM Symposium on Principles of Programming Languages (POPL), Portland, Oregon, January 16-18 (2002)","DOI":"10.1145\/503272.503280"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/3-540-48224-5_34","volume-title":"Automata, Languages and Programming","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Valente, A.: A Distributed Abstract Machine for Safe Ambients. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, p. 408. Springer, Heidelberg (2001)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Schmitt, A., Stefani, J.B.: The M-calculus: A Higher-Order Distributed Process Calculus. In: Proceedings 30th Annual ACM Symposium on Principles of Programming Languages, POPL (2003)","DOI":"10.1145\/604131.604136"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Stefani, J.B.: A Calculus of Kells. In: Proceedings 2nd International Workshop on Foundations of Global Computing (2003)","DOI":"10.1016\/S1571-0661(05)80087-8"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-45694-5_20","volume-title":"CONCUR 2002 - Concurrency Theory","author":"D. Teller","year":"2002","unstructured":"Teller, D., Zimmer, P., Hirschkoff, D.: Using Ambients to Control Resources. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 288. Springer, Heidelberg (2002)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-47959-7_3","volume-title":"Internet Programming Languages","author":"J. Vitek","year":"1999","unstructured":"Vitek, J., Castagna, G.: Towards a calculus of secure mobile computations. In: Bal, H.E., Cardelli, L., Belkhouche, B. (eds.) ICCL-WS 1998. LNCS, vol.\u00a01686, p. 47. Springer, Heidelberg (1999)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Wojciechowski, P., Sewell, P.: Nomadic Pict: Language and Infrastructure. IEEE Concurrency\u00a08(2) (2000)","DOI":"10.1109\/4434.846193"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Yoshida, N., Hennessy, M.: Assigning types to processes. In: 15th Annual IEEE Symposium on Logic in Computer Science, LICS (2000)","DOI":"10.1109\/LICS.2000.855782"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39958-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:41:11Z","timestamp":1559914871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39958-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204916","9783540399582"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39958-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}