{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:13:35Z","timestamp":1725491615113},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752905"},{"type":"electronic","value":"9783540752929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75292-9_17","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T06:43:07Z","timestamp":1189492987000},"page":"246-259","source":"Crossref","is-referenced-by-count":1,"title":["Controlling Process Modularity in Mobile Computing"],"prefix":"10.1007","author":[{"given":"Takashi","family":"Kitamura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huimin","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)","author":"R. Amadio","year":"2003","unstructured":"Amadio, R., Boudol, G., Lousshaine, C.: The receptive distributed \u03c0-calculus. In: ACM Transactions on Programming Languages and Systems (TOPLAS), ACM Press, New York (2003)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63383-9_92","volume-title":"Coordination Languages and Models","author":"R.M. Amadio","year":"1997","unstructured":"Amadio, R.M.: An asynchronous model of locality, failure, and process mobility. In: Garlan, D., Le M\u00e9tayer, D. (eds.) COORDINATION 1997. LNCS, vol.\u00a01282, Springer, Heidelberg (1997)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Amadio, R.M.: On modelling mobility. Theoretical Computer Science\u00a0240(1) (2000)","DOI":"10.1016\/S0304-3975(99)00230-3"},{"key":"17_CR4","unstructured":"Boudol, G., Castellani, I., Germain, F., Lacoste, M.: Models of distribution and mobility: state of the art, MIKADO Global Computing Project, IST-2001-32222, Deliverable D1.1.1 (2002)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) ETAPS 1998 and FOSSACS 1998. LNCS, vol.\u00a01378, Springer, Heidelberg (1998)"},{"key":"17_CR6","volume-title":"Conference Record of the ACM Symposium on Principles of Programming Languages","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive cham and the join-calculus. In: Conference Record of the ACM Symposium on Principles of Programming Languages, ACM Press, New York (1996)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., L\u00e9vy, J.-J., Maranget, L., R\u00e9my, D.: A calculus of mobile agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 406\u2013421. Springer, Heidelberg (1996)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45694-5_19","volume-title":"CONCUR 2002 - Concurrency Theory","author":"J. Godskesen","year":"2002","unstructured":"Godskesen, J., 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, Springer, Heidelberg (2002)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Harter, A., Hopper, A., Steggles, P., Ward, A., Webster, P.: The anatomy of a context-aware application. Mobile Computing and Networking (1999)","DOI":"10.1145\/313451.313476"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation\u00a0173, 82\u2013120 (2002)","journal-title":"Information and Computation"},{"key":"17_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50026-6","volume-title":"Handbook of Process Algebra","author":"J. Parrow","year":"2001","unstructured":"Parrow, J.: Handbook of Process Algebra. Elsevier, Amsterdam (2001) (chapter An introduction to the \u03c0-calculus)"},{"key":"17_CR12","unstructured":"Ravara, A., Matos, A., Vasconcelos, V., Lopes, L.: A lexically scoped distributed \u03c0-calculus. Technical report, Di\/fcul tr, DIFCUL, Department of Computer Science, University of Lisbon (2002)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Schmitt, A., Stefani, J.B.: The m-calculus: A higher-order distributed process calculus. Technical report, RR-4361, INRIA (2002)","DOI":"10.1145\/604131.604136"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"ICCL 1998","author":"P. Sewell","year":"1999","unstructured":"Sewell, P., Wojciechowski, P., Pierce, B.: Location-independent communication for mobile agents: A two-level architecture. In: Bal, H.E., Cardelli, L., Belkhouche, B. (eds.) ICCL 1998. LNCS, vol.\u00a01686, Springer, Heidelberg (1999)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47959-7_3","volume-title":"Internet Programming Languages","author":"J. Vitek","year":"1999","unstructured":"Vitek, J., Castagna, G.: Seal: A framework for secure mobile computations. In: Bal, H.E., Cardelli, L., Belkhouche, B. (eds.) Internet Programming Languages. LNCS, vol.\u00a01686, Springer, Heidelberg (1999)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Wojciechowski, P., Sewell, P.: Nomadic pict: Language and infrastructure design for mobile agents. In: Proceedings of ASA\/MA 1999, First International Symposium on Agent Systems and Applications\/Third International Symposium on Mobile Agents (1999)","DOI":"10.1109\/ASAMA.1999.805388"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75292-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:58:56Z","timestamp":1619506736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75292-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752905","9783540752929"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75292-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}