{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T18:41:06Z","timestamp":1773081666149,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540000297","type":"print"},{"value":"9783540361039","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_17","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T03:15:07Z","timestamp":1179285307000},"page":"144-155","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An Overview of Mobile Object-Z"],"prefix":"10.1007","author":[{"given":"Kenji","family":"Taguchi","sequence":"first","affiliation":[]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"L. Bettini and R. De Nicola. Translating Strong Mobility into Weak Mobility. In Proceedings of 5th International Conference on Mobile Agents (MA) 2001. IEEE, 2001.","DOI":"10.1007\/3-540-45647-3_13"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"L. Cardelli. A Language with Distributed Scope. In Conference Record of POPL\u201995, pages 286\u2013297. ACM Press, 1995.","DOI":"10.1145\/199448.199516"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Wide Area Computation. ICALP\u201999, pages 10\u201324. 1999.","DOI":"10.1007\/3-540-48523-6_2"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. Gordon. Mobile Ambients. Foundations of Software Science and Computational Structures, pages 140\u2013155. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0053547"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"G. Cugola, C. Ghezzi, G. Picco, and G. Vigna. Analyzing Mobile Code Languages. Mobile Object Systems-Towards the Programmable Internet, pages 93\u2013111. 1997.","DOI":"10.1007\/3-540-62852-5_9"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"R. De Nicola, G. Ferrari, and R. Pugliese. Locality based Linda: programming with explicit localities. TAPSOFT-FASE\u201997, pages 712\u2013726. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0030636"},{"key":"17_CR7","unstructured":"R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan, March 2000."},{"issue":"3","key":"17_CR8","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/258077.258079","volume":"6","author":"P. J. M. G.-C. Roman","year":"1997","unstructured":"P. J. M. G.-C. Roman and J. Y. Plun. Mobile unity: reasoning and specification in mobile computing. ACM Trans. Software Engineering and Methodology, 6(3):250\u2013282, 1997.","journal-title":"ACM Trans. Software Engineering and Methodology"},{"key":"17_CR9","unstructured":"D. Lange and M. Oshima. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, 1999."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"B. Mahony and J. S. Dong. Blending Object-Z and Timed CSP: An Introduction to TCOZ. ICSE\u201998, pages 95\u2013104. IEEE, 1998.","DOI":"10.1109\/ICSE.1998.671106"},{"key":"17_CR11","unstructured":"R. Milner. Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, 1999."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"G. Picco, A. Murphy, and G.-C. Roman. LIME:Linda Meets Mobility. ICSE\u201999, pages 368\u2013377, IEEE, 1999.","DOI":"10.1145\/302405.302659"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"J. Riely and M. Hennessy. A typed language for distributed mobile processes (extended abstract). POPL\u201998, pages 378\u2013390, 1998.","DOI":"10.1145\/268946.268978"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"K. Taguchi and K. Araki. The State-based CCS Semantics for Concurrent Z Specification. ICFEM\u201997, pages 283\u2013292. IEEE, 1997.","DOI":"10.1109\/ICFEM.1997.630435"},{"key":"17_CR16","unstructured":"J. E. White. Mobile Agents. In J. Bradshaw, editor, Software Agents, pages 437\u2013472. MIT Press, 1996."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T09:19:45Z","timestamp":1737019185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"10 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}