{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:17:09Z","timestamp":1725484629501},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434108"},{"type":"electronic","value":"9783540460008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46000-4_9","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T02:17:36Z","timestamp":1180491456000},"page":"72-87","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing Properties of Mobile Agent Systems"],"prefix":"10.1007","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":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"L. Bettini, 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), pages 110\u2013115. IEEE Computer Society Press, 1998.","DOI":"10.1109\/ENABL.1998.725680"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"L. Bettini, R. De Nicola, and M. Loreti. Software Update via Mobile Agent Based Programming. In Proc. of ACM SAC 2002, Special Track on Agents, Interactions, Mobility, and Systems. ACM Press, 2002. To appear.","DOI":"10.1145\/508791.508800"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"L. Caires and L. Cardelli. A Spatial Logic for Concurrency (Part I). In proceeding of TACS2001, 2001. to appear.","DOI":"10.1007\/3-540-45500-0_1"},{"key":"9_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures (FoSSaCS\u201998)","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli and A. D. Gordon. Mobile Ambients. In M. Nivat, editor, Foundations of Software Science and Computation Structures (FoSSaCS\u201998), volume 1378 of LNCS, pages 140\u2013155. Springer, 1998."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. D. Gordon. Anytime, Anywhere: Modal Logics for Mobile Ambients. In 27th Annual Symposium on Principles of Programming Languages (POPL) (Boston, MA). ACM, 2000.","DOI":"10.1145\/325694.325742"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. D. Gordon. Logical Properties of Name Restriction. In proceeding of TLCA\u201901, volume 2044 of Lecure Note in Computer Science. Springer, 2001.","DOI":"10.1007\/3-540-45413-6_8"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter. Linda in Context. Comm. of the ACM, 32(4):444\u2013458, 1989.","journal-title":"Comm. of the ACM"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"A. Carzaniga, 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\u2019 97), pages 22\u201333. ACM Press, 1997.","DOI":"10.1145\/253228.253236"},{"issue":"5","key":"9_CR9","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"R. De Nicola, G. Ferrari, and R. Pugliese. Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315\u2013330, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/3-540-45499-3_25","volume-title":"Proc of Algebraic Methodology and Software Technology, 8th Int. Conf. AMAST 2000","author":"R. Nicola De","year":"2000","unstructured":"R. De Nicola 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, pages 339\u2013354. Springer, 2000."},{"key":"9_CR11","unstructured":"R. De Nicola and M. Loreti. A Modal Logic for Mobile Agents. Technical report, Dipartimento di Sistemi ed Informatica, Universit\u00e1 degli Studi di Firenze, 2001. available at http:\/\/music.dsi.unifi.it\/ ."},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR13","unstructured":"C. Harrison, D. Chess, and A. Kershenbaum. Mobile agents: Are they a good idea? Research Report 19887, IBM Research Division, 1994."},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic Laws for Nondeterminism and Concurrency. Journal of the ACM, 32(1):137\u2013161, Jan. 1985.","journal-title":"Journal of the ACM"},{"key":"9_CR15","series-title":"Lect Notes Comput Sci","volume-title":"An overview of mobile agent programming","author":"F. Knabe","year":"1997","unstructured":"F. Knabe. An overview of mobile agent programming. In Proceedings of the Fifth LOMAPS workshop on Analysis and Veri.cation of Multiple\u2014Agent Languages, number 1192 in LNCS. Springer-Verlag, 1996."},{"issue":"3","key":"9_CR16","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/295685.298136","volume":"42","author":"D. Lange","year":"1999","unstructured":"D. Lange and M. Oshima. Seven good reasons for mobile agents. Communications of the ACM, 42(3):88\u201389, March 1999.","journal-title":"Communications of the ACM"},{"key":"9_CR17","unstructured":"X. Leroy, D. R\u00e9my, J. Vouillon, and D. Doligez. The Objective Caml system, documentation and user\u2019s guide. http:\/\/caml.inria.fr\/ocaml\/htmlman\/ , 1999."},{"key":"9_CR18","unstructured":"M. Loreti. Languages and Logics for Network Aware Programming. PhD thesis, Universit\u00e0 di Siena, 2002. Available at http:\/\/music.dsi.unifi.it ."},{"key":"9_CR19","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"9_CR20","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Part I. LFCS Report Series ECS-LFCS-89-85, University of Edinburgh, June 1989."},{"key":"9_CR21","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Part II. LFCS Report Series ECS-LFCS-89-86, University of Edinburgh, June 1989."},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Theoretical Computer Science, 114:149\u2013171, 1993.","journal-title":"Theoretical Computer Science"},{"key":"9_CR23","unstructured":"A. Park and P. Reichl. Personal Disconnected Operations with Mobile Agents. In Proc. of 3rd Workshop on Personal Wireless Communications, PWC\u201998, 1998."},{"issue":"3","key":"9_CR24","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/262009.262010","volume":"29","author":"T. Thorn","year":"1997","unstructured":"T. Thorn. Programming Languages for Mobile Code. ACM Computing Surveys, 29(3):213\u2013239, 1997. Also Technical Report 1083, University of Rennes IRISA.","journal-title":"ACM Computing Surveys"},{"key":"9_CR25","volume-title":"Telescript Technology: The Foundation for the Electronic Marketplace","author":"J. E. White","year":"1994","unstructured":"J. E. White. Telescript Technology: The Foundation for the Electronic Marketplace. White paper, General Magic, Inc., Mountain View, CA, 1994."},{"key":"9_CR26","unstructured":"J. E. White. Mobile Agents. In J. Bradshaw, editor, Software Agents. AAAI Press and MIT Press, 1996."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46000-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:29:50Z","timestamp":1556454590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46000-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434108","9783540460008"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-46000-4_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}