{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:46:18Z","timestamp":1762458378620,"version":"build-2065373602"},"reference-count":25,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4076,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,6]]},"DOI":"10.1016\/s1571-0661(04)00317-2","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T05:34:35Z","timestamp":1075959275000},"page":"24-37","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":11,"special_numbering":"C","title":["X-Klaim and Klava"],"prefix":"10.1016","volume":"62","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Acharya A., M. Ranganathan and J. Saltz, Sumatra: A Language for Resourceaware Mobile Programs, in: Vitek and Tschudin [24], pp. 111\u2013130.","DOI":"10.1007\/3-540-62852-5_10"},{"year":"1999","series-title":"\u201cJavaSpaces Principles, Patterns and Practice,\u201d","author":"Arnold","key":"10.1016\/S1571-0661(04)00317-2_NEWBIB2"},{"year":"2000","series-title":"\u201cThe Java Programming Language,\u201d","author":"Arnold","key":"10.1016\/S1571-0661(04)00317-2_NEWBIB3"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB4","unstructured":"Bettini L., \u201cProgetto e Realizzazione di un Linguaggio di Programmazione per Codice Mobile,\u201d Master's thesis, Dip. di Sistemi e Informatica, Univ. di Firenze (1998)."},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Bettini L. and R. De Nicola, Translating Strong Mobility into Weak Mobility, in: Proc. of the Fifth IEEE Int. Conf. on Mobile Agents (MA 2001), 2001, to appear.","DOI":"10.1007\/3-540-45647-3_13"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Bettini L., R. De Nicola, G. Ferrari and R. Pugliese, Interactive Mobile Agents in X-Klaim, in: P. Ciancarini and R. Tolksdorf, editors, Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (1998), pp. 110\u2013115.","DOI":"10.1109\/ENABL.1998.725680"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB7","unstructured":"Bettini L., R. De Nicola and R. Pugliese, Klava: a Java Framework for Distributed and Mobile Applications, Tech. Report, Dip. Sistemi e Informatica, Univ. di Firenze (2001), available at http:\/\/music.dsi.unifi.it\/papers.html."},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Bettini L., M. Loreti and R. Pugliese, Structured Nets in Klaim, in: Proc. of ACM SAC 2000, Special Track on Coordination Models, Languages and Applications (2000), pp. 174\u2013180.","DOI":"10.1145\/335603.335736"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Bettini L., M. Loreti and R. Pugliese, Modelling Node Connectivity in Dynamically Evolving Networks, in: Proc. of CONCOORD, Int. Workshop on Concurrency and Coordination, ENTCS 54, 2001.","DOI":"10.1016\/S1571-0661(04)00237-3"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Bettini L., M. Loreti and R. Pugliese, An Infrastructure Language for Open Nets, in: Proc. of ACM SAC 2002, Special Track on Coordination Models, Languages and Applications, 2002, to appear.","DOI":"10.1145\/508848.508862"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB11","unstructured":"Cardelli L., Mobile computation, in: Vitek and Tschudin [24], pp. 3\u20136."},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Carzaniga A., G. Picco and G. Vigna, Designing Distributed Applications with Mobile Code Paradigms, in: R. Taylor, editor, Proc. of the 19th Int. Conf. on Software Engineering (ICSE '97) (1997), pp. 22\u201333.","DOI":"10.1145\/253228.253236"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB13","unstructured":"Cugola G., C. Ghezzi, G. Picco and G. Vigna, Analyzing Mobile Code Languages, in: Vitek and Tschudin [24]."},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB14","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1109\/32.685256","article-title":"Klaim: a Kernel Language for Agents Interaction and Mobility","volume":"24","author":"De Nicola","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB15","series-title":"Secure Internet Programming: Security Issues for Distributed and Mobile Objects, number 1603 in LNCS","first-page":"117","article-title":"Types as Specifications of Access Policies","author":"De Nicola","year":"1999"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB16","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","article-title":"Types for Access Control","volume":"240","author":"De Nicola","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB17","doi-asserted-by":"crossref","unstructured":"De Nicola, R. and M. Loreti, A Modal Logic for Klaim, in: T. Rus, editor, Proc of Algebraic Methodology and Software Technology, 8th Int. Conf. AMAST 2000, number 1816 in LNCS (2000), pp. 339\u2013354.","DOI":"10.1007\/3-540-45499-3_25"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB18","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative Communication in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"year":"1999","series-title":"\u201cInside Java 2 platform security: architecture, API design, and implementation,\u201d","author":"Gong","key":"10.1016\/S1571-0661(04)00317-2_NEWBIB19"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB20","unstructured":"Hohlfeld M. and B. Yee, How to Migrate Agents (1998), available at http:\/\/www.cs.ucsd.edu\/~bsy."},{"year":"1998","series-title":"\u201cProgramming and Deploying Java Mobile Agents with Aglets,\u201d","author":"Lange","key":"10.1016\/S1571-0661(04)00317-2_NEWBIB21"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB22","unstructured":"Park A. and P. Reichl, Personal Disconnected Operations with Mobile Agents, in: Proc. of 3rd Workshop on Personal Wireless Communications, PWC'98, Tokyo, 1998."},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB23","doi-asserted-by":"crossref","unstructured":"Thorn T., Programming Languages for Mobile Code, ACM Computing Surveys 29 (1997), pp. 213\u2013239, also Technical Report 1083, University of Rennes IRISA.","DOI":"10.1145\/262009.262010"},{"year":"1997","series-title":"\u201cMobile Object Systems - Towards the Programmable Internet,\u201d","key":"10.1016\/S1571-0661(04)00317-2_NEWBIB24"},{"key":"10.1016\/S1571-0661(04)00317-2_NEWBIB25","unstructured":"White, J. E., Mobile Agents, in: J. Bradshaw, editor, Software Agents (1996)"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104003172?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104003172?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:05:13Z","timestamp":1761609913000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104003172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":25,"alternative-id":["S1571066104003172"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00317-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"X-Klaim and Klava","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)00317-2","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}