{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:23Z","timestamp":1762458803548},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540241010"},{"type":"electronic","value":"9783540317944"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/978-3-540-31794-4_9","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:11:12Z","timestamp":1267402272000},"page":"146-178","source":"Crossref","is-referenced-by-count":47,"title":["The Kell Calculus: A Family of Higher-Order Distributed Process Calculi"],"prefix":"10.1007","author":[{"given":"Alan","family":"Schmitt","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":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-47993-7_15","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: Architectural Reasoning in ArchJava. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, p. 334. Springer, Heidelberg (2002)"},{"key":"9_CR2","unstructured":"Amadio, R.: An asynchronous model of locality, failure, and process mobility. Technical report, INRIA RR-3109, INRIA Sophia-Antipolis, France (1997)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-40965-6_14","volume-title":"Advances in Computing Science \u2013 ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation","author":"F. Barbanera","year":"2003","unstructured":"Barbanera, F., Bugliesi, M., Dezani-Ciancaglini, M., Sassone, V.: A calculus of bounded capacities. In: Saraswat, V.A. (ed.) ASIAN 2003. LNCS, vol.\u00a02896, pp. 205\u2013223. Springer, Heidelberg (2003)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-31794-4_11","volume-title":"Global Computing","author":"G. Boudol","year":"2005","unstructured":"Boudol, G.: A Generic Membrane Model. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 208\u2013222. Springer, Heidelberg (2005)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-24774-6_3","volume-title":"Component-Based Software Engineering","author":"E. Bruneton","year":"2004","unstructured":"Bruneton, E., Qu\u00e9ma, V., Coupaye, T., Leclercq, M., Stefani, J.B.: An Open Component Model and its Support in Java. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 7\u201322. Springer, Heidelberg (2004)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","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, p. 38. Springer, Heidelberg (2001)"},{"key":"9_CR7","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":"9_CR8","doi-asserted-by":"crossref","unstructured":"Carbone, M., Maffeis, S.: On the Expressive Power of Polyadic Synchronization in \u03c0-calculus. Electronic Notes in Theorectical Computer Science\u00a068(2) (2002)","DOI":"10.1016\/S1571-0661(05)80361-5"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.: Mobile Ambients. Theoretical Computer Science\u00a0240(1) (2000)","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"9_CR10","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":"9_CR11","volume-title":"Handbook of Process Algebra","author":"I. Castellani","year":"2001","unstructured":"Castellani, I.: Process algebras with localities. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"D. Clarke","year":"2003","unstructured":"Clarke, D., Wrigstad, T.: External Uniqueness is Unique Enough. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Giovannetti, E., Salvo, I.: M 3: Mobility types for mobile processes in mobile ambients. In: CATS 2003. ENTCS, vol.\u00a078 (2003)","DOI":"10.1016\/S1571-0661(04)81011-9"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/3-540-45510-8_11","volume-title":"Modeling and Verification of Parallel Processes","author":"S. Dal-Zilio","year":"2001","unstructured":"Dal-Zilio, S.: Mobile Processes: A Commented Bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, p. 206. Springer, Heidelberg (2001)"},{"key":"9_CR15","unstructured":"Fournet, C.: The Join-Calculus. PhD thesis, Ecole Polytechnique, Palaiseau, France (1998)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings 7th International Conference on Concurrency Theory (CONCUR 1996)","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., Levy, J.J., Maranget, L., Remy, D.: A calculus of mobile agents. In: CONCUR 1996. LNCS, vol.\u00a01119. Springer, Heidelberg (1996)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45694-5_19","volume-title":"CONCUR 2002 - Concurrency Theory","author":"J.C. Godskesen","year":"2002","unstructured":"Godskesen, J.C., Hildebrandt, T., Sassone, V.: A calculus of mobile resources. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 272. Springer, Heidelberg (2002)"},{"key":"#cr-split#-9_CR18.1","unstructured":"Hennessy, M., Rathke, J., Yoshida, N.: Safedpi: a language for controlling mobile code. Technical Report 2003:02, University of Sussex (2003);"},{"key":"#cr-split#-9_CR18.2","unstructured":"Extended abstract presented at Foundations of Software Science and Computation Structures - 7th International Conference, FOSSACS 2004 (2004)"},{"key":"9_CR19","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":"9_CR20","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Rathke, J.: Contextual equivalence for higher-order \u03c0-calculus revisited. In: Proceedings, 19th Conference on the Mathematical Foundations of Programming Semantics (2003)","DOI":"10.1016\/S1571-0661(03)50008-1"},{"volume-title":"Foundations of Component-Based Systems","year":"2000","key":"9_CR21","unstructured":"Leavens, G., Sitaraman, M. (eds.): Foundations of Component-Based Systems. Cambridge University Press, Cambridge (2000)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Leth, L., Thomsen, B.: Some facile chemistry. Formal Aspects of Computing\u00a07(3) (1995)","DOI":"10.1007\/BF01211076"},{"key":"9_CR23","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":"9_CR24","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. Transactions on Software Engineering\u00a026(1) (2000)","DOI":"10.1109\/32.825767"},{"key":"9_CR26","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":"9_CR27","volume-title":"Communicating and mobile systems : The \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: The \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Trans. on Software Engineering\u00a024(5) (1998)","DOI":"10.1109\/32.685256"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R., Venneri, B.: Types for Access Control. Theoretical Computer Science\u00a0240(1) (2000)","DOI":"10.1016\/S0304-3975(99)00232-7"},{"key":"9_CR30","series-title":"ENTCS","volume-title":"FGC: Foundations of Global Computing","author":"A. Ravara","year":"2003","unstructured":"Ravara, A., Matos, A., Vasconcelos, V., Lopes, L.: Lexically scoping distribution: what you see is what you get. In: FGC: Foundations of Global Computing. ENTCS, vol.\u00a085(1). Elsevier, Amsterdam (2003)"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Bisimulation for higher-order process calculi. Information and Computation\u00a0131(2) (1996)","DOI":"10.1006\/inco.1996.0096"},{"key":"9_CR32","volume-title":"The \u03c0-calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"9_CR33","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":"9_CR34","unstructured":"Sewell, P., Vitek, J.: Secure Composition of Insecure Components. Journal of Computer Security (2000); invited submission for a CSFW00 special issue"},{"key":"9_CR35","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings International Workshop on Foundations of Global Computing","author":"J.B. Stefani","year":"2003","unstructured":"Stefani, J.B.: A calculus of kells. In: Sassone, V. (ed.) Proceedings International Workshop on Foundations of Global Computing. Electronic Notes in Theoretical Computer Science, vol.\u00a085(1). Elsevier, Amsterdam (2003)"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Thomsen, B.: A Theory of Higher Order Communicating Systems. Information and Computation\u00a0116(1) (1995)","DOI":"10.1006\/inco.1995.1004"},{"key":"9_CR37","unstructured":"Vasconcelos, V.T.: A note on a typing system for the higher-order \u03c0-calculus (September 1993)"},{"key":"9_CR38","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":"9_CR39","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","Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31794-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T13:18:05Z","timestamp":1558876685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31794-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540241010","9783540317944"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31794-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}