{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:01:11Z","timestamp":1743102071373,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410201"},{"type":"electronic","value":"9783540452638"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45263-x_13","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T05:15:42Z","timestamp":1185858942000},"page":"198-215","source":"Crossref","is-referenced-by-count":3,"title":["MobileML: A Programming Language for Mobile Computation"],"prefix":"10.1007","author":[{"given":"Masatomo","family":"Hashimoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akinori","family":"Yonezawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrent Computations in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Gul Agha. ACTORS: A Model of Concurrent Computations in Distributed Systems. The MIT Press, Cambridge, Mass., 1986."},{"key":"13_CR2","unstructured":"H.P. Barendregt. The Lambda Calculus, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, 1984. revised edition."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Krishna A. Bharat and Luca Cardelli. Migratory Applications. In Proceedings of the 8th Annual ACM Symposium on User Interface Software and Technology, Pittsburgh, Pa., November 1995. Also available as Digital Systems Research Center Research Report 138.","DOI":"10.1145\/215585.215711"},{"issue":"1","key":"13_CR4","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"Luca Cardelli. A language with distributed scope. Computing Systems, 8(1):27\u201359, 1995. Also available as Digital Systems Research Center Research Report 122.","journal-title":"Computing Systems"},{"key":"13_CR5","series-title":"Lect Notes Comput Sci","first-page":"3","volume-title":"Mobile Object Systems-Towards the Programmable Internet","author":"L. Cardelli","year":"1997","unstructured":"Luca Cardelli. Mobile Computation. In J. Vitek and C. Tschudin, editors, Mobile Object Systems-Towards the Programmable Internet, number 1222 in Lecture Notes in Computer Science, pages 3\u20136. Springer-Verlag, April 1997."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principal type-schemes for functional programs. In Proc. ACM Symposium on Principles of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"13_CR7","unstructured":"Olivier Danvy and Andrzej Filinski. A Functional Abstraction of Typed Contexts. Technical report, Institute of Datalogy, University of Copenhagen, 1989. DIKU 89\/12."},{"key":"13_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/3-540-48749-2_6","volume-title":"Secure Internet Programming: Security Issues for Distributed and Mobile Objects","author":"R. Nicola De","year":"1999","unstructured":"R. De Nicola, G. Ferrari, and R. Pugliese. Types as Specifications of Access Policies. In J. Vitek and C. Jensen, editors, Secure Internet Programming: Security Issues for Distributed and Mobile Objects, volume 1603 of LNCS, pages 117\u2013146. Springer-Verlag, 1999."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"M. Felleisen, M. Wand, D. P. Friedman, and B. F. Duba. Abstract Continuations: A Mathematical Semantics for Handling Full Functional Jumps. In ACM Conference on Lisp and Functional Programming, pages 52\u201362, 1988.","DOI":"10.1145\/62678.62684"},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR\u2019 96: Concurrency Theory (7th International Conference, Pisa, Italy, August 1996, Proceedings)","author":"C. Fournet","year":"1996","unstructured":"C\u00e9dric Fournet, Georges Gonthier, Jean-Jacques L\u00e9vy, Luc Maranget, and Didier R\u00e9my. A Calculus of Mobile Agents. In Ugo Montanari and Vladimiro Sassone, editors, CONCUR\u2019 96: Concurrency Theory (7th International Conference, Pisa, Italy, August 1996, Proceedings), volume 1119 of LNCS, pages 406\u2013421. Springer-Verlag, 1996."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"David Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, January 1985.","DOI":"10.1145\/2363.2433"},{"key":"13_CR12","unstructured":"J. Gosling and H. McGilton. The Java Language Environment. White paper, Sun Microsystems, 1995."},{"key":"13_CR13","unstructured":"Robert S. Gray. Agent Tcl: A transportable agent system. In Proceedings of the CIKM Workshop on Intelligent Information Agents, Baltimore, Md., December 1995."},{"key":"13_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/3-540-68671-1_9","volume-title":"Mobile Agent Security","author":"R. S. Gray","year":"1998","unstructured":"Robert S. Gray, George Cybenko, David Kotz, and Daniela Rus. D\u2019Agents: Security in a multiple-language, mobile-agent system. In Giovanni Vigna, editor, Mobile Agent Security, Lecture Notes in Computer Science, pages 154\u2013187. Springer-Verlag: Heidelberg, Germany, 1998."},{"key":"13_CR15","unstructured":"Colin G. Harrison, David M. Chess, and Aaron Kershenbaum. Mobile Agents: Are they a good idea? Research report, IBM T. J. Watson Research Center, March 1995."},{"key":"13_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-49366-2_16","volume-title":"Proc. 4th Asian Computing Science Conference","author":"M. Hashimoto","year":"1998","unstructured":"Masatomo Hashimoto. First-Class Contexts in ML. In Proc. 4th Asian Computing Science Conference, volume 1538 of Lecture Notes in Computer Science, pages 206\u2013223. Springer, 1998."},{"key":"13_CR17","volume-title":"A Typed Context Calculus","author":"M. Hashimoto","year":"1996","unstructured":"Masatomo Hashimoto and Atsushi Ohori. A Typed Context Calculus. Preprint 1098, Research Institute for Mathematical Sciences, Kyoto, Japan, 1996. Revised version to appear in TCS."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Masatomo Hashimoto and Akinori Yonezawa. A Typed Language for Mobile Computation. Technical report, Univ. Tokyo, 2000. In preparation.","DOI":"10.1007\/3-540-45263-X_13"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Nevin Heintze and Jon G. Riecke. The SLam Calculus: Programming with Secrecy and Integrity. In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pages 365\u2013377, New York, NY, January 1998. ACM.","DOI":"10.1145\/268946.268976"},{"key":"13_CR20","unstructured":"Frederick C. Knabe. An overview of mobile agent programming. In Proceedings of the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, Stockholm, Sweden, June 1996."},{"key":"13_CR21","unstructured":"Gian Pietro Picco, Amy L. Murphy, and Gruia-Catalin Roman. LIME: Linda Meets Mobility. In Proceedings of the 21st International Conference on Software Engineering, pages 368\u2013377. ACM Press, May 1999."},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"G. Plotkin. Call-by-name, call-by-value, and the \u03bb-calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"J. H. Reppy. CML: A higher-order Concurrent Language. In Proceedings of ACM SIGPLAN\u201991 Conference on Programming Language Design and Implementation, pages 293\u2013305, 1991.","DOI":"10.1145\/113446.113470"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"James Riely and Matthew Hennessy. A Typed Language for Distributed Mobile Processes. In Proc. ACM Symposium on Principles of Programming Languages, pages 378\u2013390. ACM Press, January 1998.","DOI":"10.1145\/268946.268978"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Tatsurou Sekiguchi, Hidehiko Masuhara, and Akinori Yonezawa. A Simple Extension of Java Language for Controllable Transparent Migration and its Portable Implementation. In Proceedings of the Third International Conference on Coordination Models and Languages, 1999.","DOI":"10.1007\/3-540-48919-3_16"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Tatsurou Sekiguchi and Akinori Yonezawa. A Calculus with Code Mobility. In H. Bowman and J. Derrick, editors, Proceedings of Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, pages 21\u201336. Chapman&Hall, 1997.","DOI":"10.1007\/978-0-387-35261-9"},{"key":"13_CR27","unstructured":"Takuo Watanabe. Mobile Code Description using Partial Continuations: Definition and Operational Semantics. In SWoPP\u2019 97, pages 61\u201366. IPSJ, August 1997."},{"key":"13_CR28","unstructured":"James E. White. Mobile Agents. In Jeffrey Bradshaw, editor, Software Agents. The MIT Press, 1996."}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45263-X_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T20:27:41Z","timestamp":1629491261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45263-X_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410201","9783540452638"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45263-x_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}