{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T05:02:09Z”，“时间戳”：1714194129900}，“出版商位置”：“波士顿”，“参考计数”：21，“出版者”：“Kluwer Academic Publishers”，“isbn-type”：[{“值”：“1402081405”，“类型”：”打印“}]，“内容域”：{“域”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“DOI”：“10.1007\/1-4020-8141-3_41”，“type”：“book-chapter”，“created”：{“date-parts”：[[2006,2,21]]，“date-time”：“2006-02-21T15:15:11Z”，“timestamp”：1140534911000}，”page“：”535-548“source”：”Crossref“，”is-referenced-by-count“：0，”title“：[”行为等效性动态Web数据“]，”前缀“：“10.1007”，“author”：[{“given”：“Sergio”，“family”：“Maffeis”，“sequence”：“first”，“affiliation”：[]}，{“given”:“Philippa”，“家族”：“Gardner”，“sequence”:“additional”，“filiance”：[]}，“member”：“297”，“reference”：[{“key”：”41_CR1“，”doi-asserted-by“：”crossref“，“unstructured”：“Serge Abiteboul、Angela Bonifati、Gr\u00e9gory Cobena、Ioana Manolescu和Tova Milo。具有分发和复制功能的动态XML文档。在SIG-MOD\u201903，2003年的会议记录中。”，“DOI”：“10.1145\/872819.87282821”}，{“key”：“41_CR2”，“非结构化”：“Abiteboule，S.等人。主动XML引物。INRIA，GEMO报告编号275。”}，“非结构化”：“G.Bierman和P.Sewell。Iota:一种并发XML脚本语言，用于家庭区域网络。剑桥大学技术报告5572003年1月。”}，{“key”：“41_CR4”，“非结构”：“Reinhard Braumandl、Markus Keidl、Alfons Kemper、Donald Kossmann、Alexander Kreutz、Stefan Seltzsam和Konrad Stocker。Objectglobe:互联网上无处不在的查询处理。发表在VLDB Journal:E-Services特刊，2002年。”}，{“Issue”：“2”，“key”：“41_CR5”，“first page”：，“unstructured”：“Marco Carbone和Sergio Maffeis。论\u03c0-calculation中多元同步的表现力。北欧计算杂志，10（2）：70\u201398，2003。”，“Journal-title”：“北欧计算期刊”}，{“key”：“41_CR6”，“doi-asserted-by”：“crossref”，“unstractured”：“卢卡·卡德利（Luca Cardelli）和乔治·盖利（Giorgio Ghelli）。一种基于环境逻辑的查询语言。《ESOP\u201901会议录》，LNCS第2028卷，第1\u201322页。Springer，2001.“，“DOI”：“10.1007\/3-540-45309-1_1”}，{“key”：“41_CR7”，“unstructured”：“Philippa Gardner和Sergio Maffeis.建模动态Web数据。在Georg Lausen和Dan Suciu编辑的《DBPL\u201903 LNCS Proc.》，2003年安德鲁·戈登和里卡多·普切拉。通过键入验证web服务安全抽象。2002年ACM XML安全研讨会论文集，第18\u201329页，2002年“，“DOI”：“10.1145\/764796.764797”}，{“key”：“41_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Hennessy和J.Riely。移动代理系统中的资源访问控制。HLCL\u2019 98论文集，ENTCS第16.3卷，第3\u201317页。Elsevier，1998.“，“DOI”：“10.1016\/S1571-0661（04）00141-0”}，{“key”：“41_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“K.Honda和M.Tokoro。异步通信的对象演算。《ECOOP学报》，LNCS第512卷，第133\u2013147页，柏林，海德堡，纽约，东京，1991年。斯普林格·弗拉格。“，”DOI“：”10.1007\/BFb0057019“}，{”key“：”41_CR11“，”first page“：“21”，”volume“：：”612“，”author“：”K.Honda“，”year“：”1992“，”unstructured“：”K-Honda and M.Tokoro.On asynchronous communication semantics.LNCS 612:21\u201351，1992.“，”journal-title“：”LNCS“}第“：”437“，”DOI“：”页10.1016\/0304-3975（95）00074-7“，“卷”：“151”，“作者”：“K.本田”，“年份”：“1995”，“非结构化”：“本田小平和吉田信子。基于约简的过程语义。理论计算机科学，151（2）：437\u20134861995。”，“期刊标题”：“理论计算机科学”}，{“key”：“41_CR13”，“unstructured”：“Alan Jeffrey和Julian Rathke。重新审视高阶像素的上下文等价性。2002年4月苏塞克斯大学计算机科学报告，2002年。”}阿尔芬斯·坎佩尔（Alfons Kemper）和克里斯蒂安·维斯纳（Christian Wiesner）。超查询：互联网上的动态分布式查询处理。《VLDB\u2019年1月会议录》，第551\u2013560页，2001年。“}，{“key”：“41_CR15”，“unstructured”：“Sergio Maffeis和Philippa Gardner.动态web数据的行为等效性。草案可通过http://www.doc.ic.ac.uk获得。草案见http://~Maffeis\/corexdpilong.pdf.Forthcoming Imperial College London Technical Report，2004年。”万维网联盟。XML路径语言（XPath）1.0版。网址：http://\/w3.org\/TR\/xpath。“}，{”issue“：”1“，”key“：”41_CR17“，”doi-asserted-by“：”crossref“，”first page“：“1”，“doi”：“10.1016\/0890-5401（92）90008-4”，“volume”：“100”，“author”：“R.Milner”，“year”：“1992”，“unstructured”：“R.Milner，J.Parrow，and J.Walker。移动进程的微积分，I and II。信息与计算，100（1）：1\u201340,41\u2013771992年9月。”，“journal-title“：”信息与计算“}，{“key”：“41_CR18”，“unstructured”：“Arnaud Sahuguet，Benjamin Pierce，and Val Tannen.分布式查询优化：移动代理能提供帮助吗？未发布草稿。”}阿诺德·沙胡格特（Arnaud Sahuguet）和瓦尔·坦南（Val Tannen）。通过查询进程迁移实现资源共享。宾夕法尼亚大学技术报告MS-CIS-01-10，2001。“}，{”key“：”41_CR20“，”unstructured“：”D.Sangiorgi和D.Walker。The \u03c0-calculation:a Theory of Mobile Processes。剑桥大学出版社，2001。桑吉罗吉。在过程代数中表示迁移：一阶和高阶范式。爱丁堡大学博士论文，1992年vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,4,27]]，”date-time“：”2021-04-27T20:28:21Z“，”timestamp“：1619555301000}，”score“：1，”resource“：”primary“：”{“URL”：“http://\link.springer.com/10.1007\/1-4020-8141-3_41”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”“：[[null]]}，”ISBN“：[”1402081405“]，”references-count“：21，”URL“：”http://\/dx.doi.org\/10.1007\/1-4020-8141-3_41“，”关系“：{}，”主题“：[]}}