{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,10,14]]，“日期-时间”：“2023-10-14T15:47:13Z”，“时间戳”：1697298433890}，“出版商位置”：“柏林，海德堡”，“引用-计数”：21，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642642494”，“类型”：“print”}，{“value”：“9783642600852”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/978-3642-60085-2_2“，”type“：”book-capter“，”created“：”{“date-part”：[2011,9,8]]，“date-time”：“2011-09-08T11:03:2 6Z“，”时间戳“：1315479806000}，”页面“：”33-52“，”源“：“Crossref”，“is-referenced-by-count”：23，“title”：[“使用Jinni进行推理和计算的移动性”]，“prefix”：“10.1007”，”author“：[{”given“：”Paul“，”family“：”Tarau“，“sequence”：“first”，“affiliance”：[]}]，“member”：“297”，“reference”：[{“key”：“2_CR1”，“unstructured”：“Avalon MUD。\n http://www.Avalon-rpg.com/\n\n”}，{“key”：“2_CR2”，“volume-title”：“Migratory applications”，“author”：“KA Bharat”，“year”：“1995”，“unstructured”：“K.A.Bharat，L。卡德利。迁移应用程序。1995年11月，第八届ACM用户界面软件和技术年度研讨会论文集。http:\/\/守门人。dec.com/pub\/dec\/SRC\/research-reports\/abstracts\/SRC-rr-138.html“}，{“key”：“2_CR3”，“unstructured”：“BlackSun.CyberGate.\n http://www.blaxun.com\/\n\n”}，}，“key“：”2_CR4“，”unstructure“：”L.Cardelli.Mobile ambients.技术报告，Microsoft，1998年。\网址：http://www.research.microsoft.com/users\/adg\/research\/Ambit\/default.html。“}，{”key“：”2_CR5“，”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，C.Tschudin，editors，Mobile Objects Systems-朝向可编程互联网，第3\u20136页。Springer-Verlag，LNCS 12281997“}，{”issue“：”4“，”key“：”2_CR6“，”doi-asserted-by“：”crossref“，”first page“：“444”，”doi“：”10.1145\/63334.63337“，”volume“:”32“，”author“：”N Carriero“，”year“：”1989“，”unstructured“：”N.Carriero，D.Gelernter.Linda in context.CACM，32（4）：444\u20134581989.“，”，”journal-title“：”CACM“}，{”键“：”2_CR7“，”首页“：”89“，”volume-title“：”程序。第一届国际协调模型与语言会议，LNCS第1061卷，“作者”：“S Castellani”，“年份”：“1996年”，“非结构化”：“S.Castellani，P.Ciancarini。增强具有对象作为多集合的语言的协调和模块化机制。在P.Ciancarini，C.Han-kin，编辑，Proc。第一届协调模型和语言国际会议，LNCS第1061卷，第89页\u2013106，意大利切塞纳，1996年4月。Springer-Verlag“}，{“key”：“2_CR8”，“首页”：“256”，“volume-title”：“第十四届逻辑程序设计国际会议论文集”，“author”：“V Dahl”，《年份》：“1997年”，“非结构化”：“V.Dahl，P.Tarau，R.Li.处理自然语言的假设语法。In L。Naish，编辑，《第十四届逻辑编程国际会议论文集》，第256\u2013270页，麻省理工学院出版社，1997年“}，{“key”：“2_CR9”，“first-page”：“51”，“volume-title”：“LogiMOO:Prolog Technology for Virtual Worlds”，“author”：“K Bosschere De”，“year”：“1996”，“unstructured”：“K.De Bosscher，D Perron，P.”。塔劳。LogiMOO：虚拟世界的Prolog技术。《PAP\u201996会议录》，第51页\u201364，伦敦，1996年4月“}，{“key”：“2_CR10”，“doi-asserted-by”：“crossref”，“first page”：第49页，“doi”：“10.1002”/（SICI）1097-024X（199601）26:1<49:：AID-SPE995>3.0.CO；2-C”，“volume”：”26（l）“，“author”：“K Bosschere De”，”“year”：“1996”，“unstructured”：“K.De Bosscher，P。塔劳。Prolog中基于黑板的扩展。软件-实践与经验，26（l）：49\u2013691996年1月”，“期刊标题”：“软件-实践与经验”}，｛“密钥”：“2_CR11”，“非结构化”：“GeneralMagicInc。Odissey。1997。\n http:\/\/www.genmagic.com\/agents\n\n。“}，{”key“：”2_CR12“，”unstructured“：”IBM.Aglets，\n http://www.trl.IBM.co.jp//Aglets\n\n.“}”，{“问题”：“1”，“key”：“2_CR13”，“doi-asserted-by”：“publisher”，“首页”：“109”，”doi“：”10.1145\/35037.42182“，”卷“6”，“作者”：“E Jul”，“年份”：“1988”，“非结构化”：“E.Jul，H.利维，n。哈钦森·A·布莱克。翡翠体系中的细粒度流动性。ACM Transactions on Computer Systems，6（1）：109\u20131331988年2月。“，”journal-title“：”ACM Transssions on Compute Systems“}，{”issue“：”（l\/2）“，”key“：”2_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，S。哈德尔。WAXweb:WWW计算机网络和ISDN系统的基于MOO的协作超媒体系统，28（l\/2）：77\u201384，1995“，“日志标题”：“计算机网络和ISDN系统”}，{“key”：“2_CR15”，“volume-title”：“逻辑编程和虚拟世界”，“author”：“P Tarau”，“year”：“1996”，“unstructured”：“P。塔劳。逻辑编程和虚拟世界。1996年11月，东京，INAP96会议记录。主题演讲。“}，{”key“：”2_CR16“，”volume-title“：”BinProlog 7.0 Professional Edition:Advanced BinProlog Programming and Extensions Guide.技术报告，BinNet Corp.“，”author“：”P Tarau“，“year”：“1998”，“unstructured”：“P.Tarau.\nBinProolog 7.0专业版：Advanced BinProlog Programmming and Extension Guide.Technical report，BinNet Corp.，1998”。可从http://www.binnetcorp获取。com/BinProlog\/www“}，{“key”：“2_CR17”，“volume-title”：“通过一阶连续体的移动线程”，“author”：“P Tarau”，“year”：“1998”，“unstructured”：“P.Tarau，V.Dahl.通过一阶连续体的手机线程.In Proceedings of APPAI-GULP-PRODE\u201998，Coruna，Spain，July 1998”}编程、网络和安全，计算机科学1179课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“53”，“doi”：“10.1007\/BFb0027779”，“volume-title”：“并发性和并行性”，“author”：“P Tarau”，《年份》：“1996”，“unstructured”：“P.Tarau，V.Dahl，A.Fall。具有线性仿射蕴涵和假设语法的可回溯状态。J Jaffar和R.H.Yap，《并行与并行、编程、网络与安全》编辑，《计算机科学讲义1179》，第53页\u201364，新加坡，1996年12月。斯普林格·弗拉格。}，{“key”：“2_CR19”，“volume-title”：“逻辑程序合成与转换，计算研讨会，Springer-Verlag，196\u2013209页”，“author”：“P Tarau”，“year”：“1993”，“unstructured”：“P.Tarau，K.De Bosschere。用抽象答案和Delphi引理记忆。in Y。Deville，编辑，《逻辑程序合成与转换，计算研讨会》，Springer-Verlag，第196\u2013209页，Lou vain-la-Neuve，1993年7月。“}，{“key”：“2_CR20”，“unstructured”：“P.Tarau，K.De Bosschere。《虚拟世界与BinProlog和Netscape的经纪》。Hermenegildo，编辑，《互联网应用逻辑编程工具第一次研讨会论文集》，JICSLP\u201996，波恩，1996年9月。\网址：http://\/clement.info。\\n\n umonction.ca\/1pnet。“}，{”key“：”2_CR21“，”volume-title“：”Using mobility to make transparent distribution approprial“，”author“：”P Roy Van“，”year“：”1997“，”unstructured“：”P.Van Roy，S.Haridi，P.Brand.Using motility to maket transparen distribution.1997，script.“}”，“container-title”：[“逻辑编程范式”，“人工智能”]，“original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-60085-2_2.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,5,6]]，“date-time”：“2021-05-06T11:20:59Z”，“timestamp”：1620300059000}，“score”：1，“资源”：{“主资源”：}URL“：”http://\/link.springer.com/10.1007\/978-3642-60085-2_2“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1999]]}，“ISBN”：[“9783642642494”，“978364 2600852”]，“references-count”：21，“URL”：“http://\/dx.doi.org\/10007\/978-3642-6085-2_2”，“relation”：{}，ISSN“：[”1431-0066“]，”ISSN-type“：[{”value“：”1431-00066“，”type“:”print“}]，”主题“：[]，“已发布”：{“日期部分”：[[1999]]}}