{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:00:01Z","timestamp":1725573601636},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540256977"},{"type":"electronic","value":"9783540320210"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11419822_2","type":"book-chapter","created":{"date-parts":[[2010,12,21]],"date-time":"2010-12-21T02:35:52Z","timestamp":1292898952000},"page":"29-68","source":"Crossref","is-referenced-by-count":10,"title":["Mobile Distributed Programming in X-Klaim"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","first-page":"549","volume-title":"Pattern Languages of Program Design 2","author":"M. Adams","year":"1996","unstructured":"Adams, M., Coplien, J., Gamoke, R., Hanmer, R., Keeve, F., Nicodemus, K.: Fault-tolerant telecommunication system patterns. In: Vlissides, J.M., Coplien, J.O. (eds.) Pattern Languages of Program Design 2, pp. 549\u2013562. Addison-Wesley, Reading (1996)"},{"key":"2_CR2","volume-title":"JavaSpaces Principles, Patterns and Practice","author":"K. Arnold","year":"1999","unstructured":"Arnold, K., Freeman, E., Hupfer, S.: JavaSpaces Principles, Patterns and Practice. Addison-Wesley, Reading (1999)"},{"key":"2_CR3","volume-title":"The Java Programming Language","author":"K. Arnold","year":"2000","unstructured":"Arnold, K., Gosling, J., Holmes, D.: The Java Programming Language, 3rd edn. Addison-Wesley, Reading (2000)","edition":"3"},{"key":"2_CR4","volume-title":"The Jini Specification","author":"K. Arnold","year":"1999","unstructured":"Arnold, K., O\u2019Sullivan, B., Scheifler, R.W., Waldo, J., Wollrath, A.: The Jini Specification. Addison-Wesley, Reading (1999)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Acharya, A., Ranganathan, M., Saltz, J.: Sumatra: A Language for Resource-aware Mobile Programs. In: Vitek and Tschudin, VT 1997, pp. 111\u2013130 (1997)","DOI":"10.1007\/3-540-62852-5_10"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/3-540-55160-3_37","volume-title":"Research Directions in High-Level Parallel Programming Languages","author":"B.G. Anderson","year":"1992","unstructured":"Anderson, B.G., Shasha, D.: Persistent Linda: Linda + Transactions + Query Processing. In: Ban\u00e2tre, J.-P., Le M\u00e9tayer, D. (eds.) Research Directions in High-Level Parallel Programming Languages 1991. LNCS, vol.\u00a0574, pp. 93\u2013109. Springer, Heidelberg (1992)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-40042-4_4","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L. Bettini","year":"2003","unstructured":"Bettini, L., Bono, V., De Nicola, R., Ferrari, G., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., Venneri, B.: The klaim project: Theory and practice. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 88\u2013150. Springer, Heidelberg (2003)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-46000-4_8","volume-title":"Coordination Models and Languages","author":"L. Bettini","year":"2002","unstructured":"Bettini, L., Bono, V., Venneri, B.: Coordinating Mobile Object-Oriented Code. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 56\u201371. Springer, Heidelberg (2002)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-24634-3_5","volume-title":"Coordination Models and Languages","author":"L. Bettini","year":"2004","unstructured":"Bettini, L., Bono, V., Venneri, B.: O\u2019Klaim: a coordination language with mobile mixins. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 20\u201337. Springer, Heidelberg (2004)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-45647-3_13","volume-title":"Mobile Agents","author":"L. Bettini","year":"2001","unstructured":"Bettini, L., De Nicola, R.: Translating Strong Mobility into Weak Mobility. In: Picco, G.P. (ed.) MA 2001. LNCS, vol.\u00a02240, pp. 182\u2013197. Springer, Heidelberg (2001)"},{"issue":"3","key":"2_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1023\/B:AUSE.0000028536.34044.47","volume":"11","author":"L. Bettini","year":"2004","unstructured":"Bettini, L., De Nicola, R., Loreti, M.: Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Automated Software Engineering\u00a011(3), 245\u2013288 (2004); Special Issue on Distributed and Mobile Software Engineering","journal-title":"Automated Software Engineering"},{"issue":"14","key":"2_CR12","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1002\/spe.486","volume":"32","author":"L. Bettini","year":"2002","unstructured":"Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java package for distributed and mobile applications. Software \u2013 Practice and Experience\u00a032(14), 1365\u20131394 (2002)","journal-title":"Software \u2013 Practice and Experience"},{"key":"2_CR13","unstructured":"Bettini, L.: Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations. PhD thesis, Dip. di Matematica, Universit\u00e0 di Siena (2003), Available at http:\/\/music.dsi.unifi.it"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Bouchenak, S., Hagimont, D.: Pickling Threads State in the Java System. In: Proc. of the Technology of Object-Oriented Languages and Systems, TOOLS (2000)","DOI":"10.1109\/TOOLS.2000.848748"},{"key":"2_CR15","first-page":"373","volume-title":"Proc. of ACM SAC 2002, Special Track on Coordination Models, Languages and Applications","author":"L. Bettini","year":"2002","unstructured":"Bettini, L., Loreti, M., Pugliese, R.: An Infrastructure Language for Open Nets. In: Proc. of ACM SAC 2002, Special Track on Coordination Models, Languages and Applications, pp. 373\u2013377. ACM, New York (2002)"},{"issue":"6","key":"2_CR16","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1002\/cpe.4330060603","volume":"6","author":"P. Butcher","year":"1994","unstructured":"Butcher, P., Wood, A., Atkins, M.: Global Synchronisation in Linda. Concurrency: Practice and Experience\u00a06(6), 505\u2013516 (1994)","journal-title":"Concurrency: Practice and Experience"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Global computation. ACM Computing Surveys\u00a028(4es) (1996) Article 163","DOI":"10.1145\/242224.242430"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Mobile computation. In: Vitek and Tschudin [VT 1997], pp. 3\u20136 (1997)","DOI":"10.1007\/3-540-62852-5_1"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Abstractions for Mobile Computation. In: Vitek and Jensen [VJ 1999], pp. 51\u201394 (1999)","DOI":"10.1007\/3-540-48749-2_4"},{"issue":"3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/72551.72553","volume":"21","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: How to Write Parallel Programs: A Guide to the Perplexed. ACM Computing Surveys\u00a021(3), 323\u2013357 (1989)","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in Context. Communications of the ACM\u00a032(4), 444\u2013458 (1989)","journal-title":"Communications of the ACM"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Cugola, G., Ghezzi, C., Picco, G.P., Vigna, G.: Analyzing Mobile Code Languages. In: Vitek and Tschudin [VT 1997] (1997)","DOI":"10.1007\/3-540-62852-5_9"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BFb0057663","volume-title":"Mobile Agents","author":"G. Cabri","year":"1998","unstructured":"Cabri, G., Leonardi, L., Zambonelli, F.: Reactive Tuple Spaces for Mobile Agent Coordination. In: Rothermel, K., Hohl, F. (eds.) MA 1998. LNCS, vol.\u00a01477, pp. 237\u2013248. Springer, Heidelberg (1998)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Ciancarini, P., Rossi, D.: Jada - Coordination and Communication for Java Agents. In: Vitek and Tschudin [VT 1997], pp. 213\u2013228 (1997)","DOI":"10.1007\/3-540-62852-5_16"},{"key":"2_CR25","first-page":"278","volume-title":"Proc. of ISADS 2001","author":"D. Deugo","year":"2001","unstructured":"Deugo, D.: Choosing a Mobile Agent Messaging Model. In: Proc. of ISADS 2001, pp. 278\u2013286. IEEE, Los Alamitos (2001)"},{"issue":"5","key":"2_CR26","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Types as Specifications of Access Policies. In: Vitek and Jensen [VJ 1999], pp. 117\u2013146 (1999)","DOI":"10.1007\/3-540-48749-2_6"},{"issue":"1","key":"2_CR28","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","volume":"240","author":"R. De Nicola","year":"2000","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R., Venneri, B.: Types for Access Control. Theoretical Computer Science\u00a0240(1), 215\u2013254 (2000)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"2_CR29","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/963927.963930","volume":"5","author":"R. De Nicola","year":"2004","unstructured":"De Nicola, R., Loreti, M.: A Modal Logic for Mobile Agents. ACM Transactions on Computational Logic\u00a05(1), 79\u2013128 (2004)","journal-title":"ACM Transactions on Computational Logic"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Ford, D., Lehman, T., McLaughry, S., Wyckoff, P.: T Spaces. IBM Systems Journal, 454\u2013474 (August 1998)","DOI":"10.1147\/sj.373.0454"},{"issue":"1","key":"2_CR31","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-51285-3_30","volume-title":"PARLE \u201989 - Parallel Architectures and Languages Europe","author":"D. Gelernter","year":"1989","unstructured":"Gelernter, D.: Multiple Tuple Spaces in Linda. In: Odijk, E., Syre, J.-C., Rem, M. (eds.) PARLE 1989. LNCS, vol.\u00a0365, pp. 20\u201327. Springer, Heidelberg (1989)"},{"key":"2_CR33","unstructured":"Harrison, C., Chess, D., Kershenbaum, A.: Mobile agents: Are they a good idea? Research Report 19887, IBM Research Division (1994)"},{"key":"2_CR34","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"2_CR35","unstructured":"Hohlfeld, M., Yee, B.S.: How to Migrate Agents (1998), Available at http:\/\/www.cs.ucsd.edu\/~bsy"},{"key":"2_CR36","series-title":"Lecture Notes in Computer Science","volume-title":"Analysis and Verification of Multiple-Agent Languages","author":"F. Knabe","year":"1997","unstructured":"Knabe, F.: An overview of mobile agent programming. In: Dam, M. (ed.) LOMAPS-WS 1996. LNCS, vol.\u00a01192. Springer, Heidelberg (1997)"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Korpela, E., Werthimer, D., Anderson, D., Cobb, J., Lebofsky, M.: SETI@home: Massively Distributed Computing for SETI. IEEE Computing in Science and Engineering (January 2001)","DOI":"10.1109\/5992.895191"},{"key":"2_CR38","volume-title":"Programming and Deploying Java Mobile Agents with Aglets","author":"D. Lange","year":"1998","unstructured":"Lange, D., Oshima, M.: Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, Reading (1998)"},{"key":"2_CR39","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"2_CR40","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1145\/302405.302659","volume-title":"Proc. of the 21st Int. Conference on Software Engineering (ICSE 1999)","author":"G.P. Picco","year":"1999","unstructured":"Picco, G.P., Murphy, A.L., Roman, G.-C.: Lime: Linda Meets Mobility. In: Garlan, D. (ed.) Proc. of the 21st Int. Conference on Software Engineering (ICSE 1999), pp. 368\u2013377. ACM Press, New York (1999)"},{"key":"2_CR41","unstructured":"Park, A.S., Reichl, P.: Personal Disconnected Operations with Mobile Agents. In: Proc. of 3rd Workshop on Personal Wireless Communications, PWC 1998 (1998)"},{"key":"2_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/3-540-62803-7_23","volume-title":"Mobile Agents","author":"H. Peine","year":"1997","unstructured":"Peine, H., Stolpmann, T.: The Architecture of the Ara Platform for Mobile Agents. In: Rothermel, K., Popescu-Zeletin, R. (eds.) MA 1997. LNCS, vol.\u00a01219, pp. 50\u201361. Springer, Heidelberg (1997)"},{"key":"2_CR43","unstructured":"Ranganathan, M., Acharya, A., Sharma, S., Saltz, J.: Network-aware Mobile Programs. In: Proc. of the USENIX Annual Technical Conf., pp. 91\u2013103. USENIX (1997)"},{"key":"2_CR44","unstructured":"Sherman, A.H.: C-Linda Reference Manual. Scientific Computing Associates, Inc. (1990)"},{"key":"#cr-split#-2_CR45.1","doi-asserted-by":"crossref","unstructured":"Thorn, T.: Programming Languages for Mobile Code. ACM Computing Surveys 29(3), 213???239 (1997);","DOI":"10.1145\/262009.262010"},{"key":"#cr-split#-2_CR45.2","unstructured":"Also Technical Report 1083, University of Rennes IRISA"},{"key":"2_CR46","series-title":"Lecture Notes in Computer Science","volume-title":"Secure Internet Programming","year":"1999","unstructured":"Vitek, J., Jensen, C. (eds.): Secure Internet Programming. LNCS, vol.\u00a01603. Springer, Heidelberg (1999)"},{"key":"2_CR47","series-title":"Lecture Notes in Computer Science","volume-title":"Mobile Object Systems Towards the Programmable Internet","year":"1997","unstructured":"Vitek, J., Tschudin, C. (eds.): MOS 1996. LNCS, vol.\u00a01222. Springer, Heidelberg (1997)"},{"key":"2_CR48","unstructured":"White, J.E.: Mobile Agents. In: Bradshaw, J. (ed.) Software Agents, AAAI Press and MIT Press (1996)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Mobile Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11419822_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T06:29:04Z","timestamp":1559888944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11419822_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540256977","9783540320210"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/11419822_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}