{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:39Z","timestamp":1725488079868},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/3-540-49545-2_27","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:41:28Z","timestamp":1186425688000},"page":"385-390","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards Inference and Computation Mobility: The Jinni Experiment"],"prefix":"10.1007","author":[{"given":"Paul","family":"Tarau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"key":"27_CR1","unstructured":"The Avalon MUD. http:\/\/www.avalon-rpg.com\/ ."},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"K. A. Bharat and L. Cardelli. Migratory applications. In Proceedings of the 8th Annual ACM Symposium on User Interface Software and Technology, Nov. 1995. http:\/\/gatekeeper.dec.com\/pub\/DEC\/SRC\/research-reports\/abstracts\/srcrr-138.html .","DOI":"10.1145\/215585.215711"},{"key":"27_CR3","unstructured":"BlackSun. CyberGate. http:\/\/www.blaxxsun.com\/ ."},{"key":"27_CR4","unstructured":"L. Cardelli. Mobile ambients. Technical report, Digital, 1997. http:\/\/www.research.digital.com\/SRC\/personal\/Luca_Cardelli\/Papers.html ."},{"key":"27_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":"L. Cardelli. Mobile Computation. In J. Vitek and C. Tschudin, editors, Mobile Object Systems-Towards the Programmable Internet, pages 3\u20136. Springer-Verlag, LNCS 1228, 1997."},{"issue":"4","key":"27_CR6","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter. Linda in context. CACM, 32(4):444\u2013458, 1989.","journal-title":"CACM"},{"key":"27_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-61052-9_41","volume-title":"Proc. 1st Int. Conf. on Coordination Models and Languages","author":"S. Castellani","year":"1996","unstructured":"S. Castellani and P. Ciancarini. Enhancing Coordination and Modularity Mechanisms for a Languag e with Objects-as-Multisets. In P. Ciancarini and C. Hankin, editors, Proc. 1st Int. Conf. on Coordination Models and Languages, volume 1061 of LNCS, pages 89\u2013106, Cesena, Italy, April 1996. Springer."},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"V. Dahl, P. Tarau, and R. Li. Assumption Grammars for Processing Natural Language. In L. Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming, pages 256\u2013270, MIT press, 1997.","DOI":"10.7551\/mitpress\/4299.003.0024"},{"key":"27_CR9","unstructured":"K. De Bosschere, D. Perron, and P. Tarau. LogiMOO: Prolog Technology for Virtual Worlds. In Proceedings of PAP\u201996, pages 51\u201364, London, Apr. 1996."},{"issue":"1","key":"27_CR10","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1002\/(SICI)1097-024X(199601)26:1<49::AID-SPE995>3.0.CO;2-C","volume":"26","author":"K. Bosschere De","year":"1996","unstructured":"K. De Bosschere and P. Tarau. Blackboard-based Extensions in Prolog. Software \u2014 Practice and Experience, 26(1):49\u201369, Jan. 1996.","journal-title":"Software \u2014 Practice and Experience"},{"key":"27_CR11","unstructured":"GeneralMagicInc. Odissey. 1997. available at http:\/\/www.genmagic.com\/agents ."},{"key":"27_CR12","unstructured":"IBM. Aglets. http:\/\/www.trl.ibm.co.jp\/aglets ."},{"issue":"1","key":"27_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/35037.42182","volume":"6","author":"E. Jul","year":"1988","unstructured":"E. Jul, H. Levy, N. Hutchinson, and A. Black. Fine-Grained Mobility in the Emerald System. ACM Transactions on Computer Systems, 6(1):109\u2013133, February 1988.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"1\/2","key":"27_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0169-7552(95)00097-3","volume":"28","author":"T. Meyer","year":"1995","unstructured":"T. Meyer, D. Blair, and S. Hader. WAXweb: a MOO-based collaborative hypermedia system for WWW. Computer Networks and ISDN Systems, 28(1\/2):77\u201384, 1995.","journal-title":"Computer Networks and ISDN Systems"},{"key":"27_CR15","unstructured":"P. Tarau. Logic Programming and Virtual Worlds. In Proceedings of INAP96, Tokyo, Nov. 1996."},{"key":"27_CR16","unstructured":"P. Tarau and V. Dahl. Mobile Threads through First Order Continuations. 1997. submitted, http:\/\/clement.info.umoncton.ca\/html\/tmob\/html.html ."},{"key":"27_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BFb0027779","volume-title":"Concurrency and Parallelism, Programming, Networking, and Security","author":"P. Tarau","year":"1996","unstructured":"P. Tarau, V. Dahl, and A. Fall. Backtrackable State with Linear Affine Implication and Assumption Grammars. In J. Jaffar and R. H. Yap, editors, Concurrency and Parallelism, Programming, Networking, and Security, Lecture Notes in Computer Science 1179, pages 53\u201364, Singapore, Dec. 1996. \u201cSpringer\u201d."},{"key":"27_CR18","unstructured":"P. Tarau and K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In P. Tarau, A. Davison, K. De Bosschere, and M. Hermenegildo, editors, Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP\u201996, Bonn, Sept. 1996. http:\/\/clement.info.umoncton.ca\/~lpnet ."},{"key":"27_CR19","unstructured":"P. Van Roy, S. Haridi, and P. Brand. Using mobility to make transparent distribution practical. 1997. manuscript."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T08:15:44Z","timestamp":1708157744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"26 February 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}