{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,13]]，“日期时间”：“2023-09-13T21:20:21Z”，“时间戳”：1694640021816}，“出版商位置”：“柏林，海德堡”，“参考计数”：26，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540208969”，“类型”：“打印”}，{“值”：“9783540246077”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-24607-7_9“，”type“：”book-capter“，”created“：”{“date-part”：[2010,7,29]]，“date-time”：“2010-07-29T08:16:16 11Z“，”时间戳“：1280391371000}，”页面“：”130-146“，“source”：“Crossref”，“由count引用”：12，“title”：[“Modeling Dynamic Web Data”]，“prefix”：“10.1007”，“author”：[｛“given”：“Philippa”，“family”：“Gardner”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Sergio”，“family”：“Maffeis”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“9_CR1”，“doi asserted by”：“Crossref””，“非结构化”：“Abiteboul，S.，Bonifati，A.，Cobena，G.，Manolescu，I.，Milo，T.：具有分发和复制功能的动态XML文档。收录于：ACM SIGMOD会议论文集（2003）”，“DOI”：“10.1145\/872757.872821”}，{“key”：“9_CR2”，“非结构性”：“Sahuguet，A.，Tannen，V.：通过查询进程迁移实现资源共享。宾夕法尼亚大学技术报告MS-CIS-01-10（2001）”}，{“key”：“9_CR3”，“doi-asserted-by”：“publisher”，“first page”：”1“，“doi”：“10.1016\/0890-5401（92）90008-4”，“volume”：：“100”，“author”：“R.Milner”，“year”：“1992”，“unstructured”：“Milner，R.，Parrow，J.，Walker，J.：移动进程的微积分，I和II。信息和计算\u00a0100，1\u201340,41\u201377（1992）”，“日志标题”：“信息和计算”}，{“key”：“9_CR4”，“volume-title”：“The \u03c0-calculation:A Theory of mobile processes”，“author”：“D.Sangiorgi”，“year”：“2001”，“unstructured”：“Sangiorgi，D.，Walker，D.：The \u03c0-calculation:a Theory of Mobile Processes。剑桥大学出版社，剑桥（2001）”}，{“key”：“9_CR5”，“series-title”：“Computer Science课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page:”133“，“doi”：“10.1007 \/BFBb0057019”，“volume-title”：“ECOOP\u201991欧洲面向对象编程会议”，“author”：“K.Honda”，“year”：“1991”，“unstructured”：“Honda，K.，Tokoro，M.：异步通信的对象演算。In:America，P.（ed.）ECOOP 1991。LNCS，卷\u00a0512，第133\u2013147页。Springer，Heidelberg（1991）“}，{”key“：”9_CR6“，”首页“：”70“，”volume“：“10”，”author“：”M.Carbone“，”year“：”2003“，”unstructured“：”Carbone，M.，Maffeis，S.：论多元同步在\u03c0-calculation中的表现力。《北欧计算杂志》\u00a010，70\u201398（2003）“，”Journal title“：”Nordic Journal of Computing“}”，{“key”：“9_CR7”，“doi-asserted-by“：”crossref“，”unstructured“：”Gardner，P.，Maffeis，S.：建模动态Web数据。帝国理工学院伦敦技术报告（2003）“，”DOI“：”10.1007\/978-3-540-24607-7_9“}，{”key“：”9_CR8“，”DOI-asserted-by“：”crossref“，”unstructured“：”Abiteboul，S.，et al.：Active XML primer.INRIA Futurs，GEMO Report number 275（2003）Sahuguet，A.：ubQL：为分布式查询系统编程的分布式查询语言。宾夕法尼亚大学博士论文（2002）“}，{“key”：“9_CR10”，“unstructured”：“Kemper，A.，Wiesner，C.：Hyperqueries:互联网上的动态分布式查询处理。收录于：《VLDB 2001学报》，pp.551\u2013560（2001）”}，}，“key“：”9_CR11“，”doi-asserted-by“：”crossref“，”unstructure“：”Braumandl，R.、Keidl，M.、Kemper，A.、Kossmann，D.、Kreutz，A.、Seltzsam，S.、Stocker，K.：Objectglobe:互联网上的无处不在的查询处理。出现在VLDB期刊：电子服务特刊（2002）“，”DOI“：”10.1007 \/s00778010043“}，{”key“：”9_CR12“，”volume-title“：”Web上的数据：从关系到半结构化数据和XML“，”author“：”S.Abiteboul“，”year“：”2000“，”unstructured“：”Abiteboul，S.，Buneman，P.，Suciu，D.：网络数据：从关系到半结构化数据和XML。Morgan Kaufmann，San Francisco（2000）“}，{”key“：”9_CR13“，”series-title“：”计算机科学讲座笔记“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1007\/3-540-45309-1_1“，“volume-title”：“Programming Languages and Systems”，“author”：“L.Cardelli”，“year”：“2001”，“unstructured”：“Cardelli，L.，Ghelli，G.：一种基于环境逻辑的查询语言。摘自：Sands，D.（编辑）《2001年员工持股计划》。LNCS，第u00a02028卷，第1\u201322页。Springer，Heidelberg（2001）“}，{”key“：“9_CR14”，”doi-asserted-by“：”publisher“，”first page“：”437“，”doi“：”10.1016\/0304-3975（95）00074-7“，“volume”：“151”，“author”：“K.本田”，“year”：“1995”，“unstructured”：“Honda，K.，Yoshida，N.:On reduction-based process semantics.Theoretical Computer Science\u00a0151，437\u2013486（1995）”，“journal title”：“理论计算机科学“}，{”key“：”9_CR15“，”series-title“：”ENTCS“，”first page“：“3”，”volume-title“：“1998年HLCL会议录”，“author”：“M.Hennessy”，“year”：“1998”，“unstructured”：“Hennessy，M.，Riely，J.：移动代理系统中的资源访问控制。in:1998年HLCL会议录。ENTCS，第u00a016.3卷，第3\u201317页。Elsevier，Amsterdam（1998）“}，{”key“：”9_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”Gordon，A.，Pucella，R.：“通过键入验证web服务安全抽象。In：Proceedings of the，ACM Workshop on XML security，pp.18\u201329（2002）“，”doi“：”10.1145\/764792.764797“}”，{“key”：“9_CR17”，“series-title”：“计算机科学讲座笔记”，“doi-asserted-by“：”publisher“，”first page“：”272“，”doi“：”10.1007\/3-540-45694-5_19“，”volume-title“：”CONCUR 2002-并发理论“，”author“：”J.Godskesen“，“year”：“2002”，“unstructured”：“Godskeson，J.，Hildebrandt，T.，Sassone，V.：移动资源微积分。收录人：Brim，L.，Jan\u010dar，P.，K\u0159et\u00ednsk\u00fd，M.，Kucera，A.（编辑）CONCUR 2002。LNCS，卷\u00a02421，第272页。Springer，Heidelberg（2002）“｝，｛“key”：“9_CR18”，“nonstructured”：“Sahuguet，A.，Pierce，B.，Tannen，V.：分布式查询优化：移动代理有帮助吗？（未发布草案）”｝，｛“key”：“9_CR19”，“nonstructured”：“Bierman，G.，Sewell，P.：Iota：一种并发XML脚本语言，用于家庭区域网络。剑桥大学技术报告UCAMCL-TR-557（2003）“}，{“key”：“9_CR20”，“unstructured”：“万维网联盟：XML路径语言（XPath）1.0版，在线阅读：http://\/w3.org\/TR\/XPath”}9_CR22“，”doi-asserted-by“：”crossref“，”unstructured“：”Abiteboul，S.，Benjelloun，O.，Milo，T.，Manolescu，I.，Weber，R.：主动XML：Web服务的以数据为中心的观点。Verso Report number 213（2002）“，”DOI“：”10.1016\/B978-155860869-6\/50115-3“}，{”key“：”9_CR23“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”crossref“，”first page“：“290”，“DOI”：“10.1007\/3-540-48046-3”，“volume-title”：“软件科学和计算结构基础”，“author”：“M.Berger”，“year”：“2002”，“unstructured”：“”Berger，M.，Honda，K.，Yoshida，N.：线性和互模拟。收录：Nielsen，M.，Engberg，U.（编辑）FOSSACS 2002。LNCS，卷\u00a02303，第290\u2013301页。Springer，Heidelberg（2002）“}，{“key”：“9_CR24”，“volume-title”：“证明、语言和互动：罗宾·米尔纳的论文”，“author”：“B.C.Pierce”，“year”：“2000”，“unstructured”：“皮尔斯，不列颠哥伦比亚省，特纳，D.N.：皮克特：一种基于圆周率演算的编程语言。在：证明，语言和互动：纪念罗宾·米尔纳的论文。麻省理工学院出版社，剑桥（2000）“}，{“key”：“9_CR25”，“doi-asserted-by”：“crossref”，“unstructured”：“Conchon，S.，Fessant，F.L.：Jocaml:Mobile agents for Objective-Caml.In:Proceedings of ASA 1999\/MA 1999，Palm Springs，CA，USA（1999）”，“doi”：“10.1109\/ASAMA.1999.805390”}doi-asserted-by“：“publisher”，“first page”：“415”，“doi”：“10.1007\/978-3-540-45187-7_27”，“volume-title”：“CONCUR 2003-并发理论”，“author”：“P.Gardner”，“year”：“2003”，“unstructured”：“Gardner，P.，Laneve，C.，Wischik，L.：线性转发器。作者：Amadio，R.M.，Lugiez，D.（编辑）CONCUR 2003。LNCS，第u00a02761卷，第415\u2013430页。Springer，Heidelberg（2003）“}”，“container-title”：[“数据库编程语言”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3-540-24607-7_9”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2021,11,2]，”date-time“：”2021-11-02T07:31:10Z“，”timestamp“：1635838270000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-24607-7_9”}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-part”：[2004]]}，《ISBN》：[“9783540208969”，“9783540246077“]，”references-count“：26，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-24607-7_9“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject:[]，”published“：{”date-parts“：[2004]]}}}}