{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,7,21]]，“日期时间”：“2024-07-21T12:33:07Z”，“时间戳”：1721565187391}，“引用计数”：36，“发布者”：“Elsevier BV”，“问题”：“1”，“许可证”：[{“开始”：{:“日期部分“：[2005,9,1]]，”“日期时间“：“2005-09-01T00:00:00Z”，“时间戳”：1125532800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：2912，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学”]，“published-print”：{“date-parts”：[[2005,9]]}，”DOI“：”10.1016\/j.tcs.2005.06.006“，”type“：”journal-article“，”created“：{”date-part“：[2005,6,25]]，”date-time“：”2005-06-25T11:39:08Z“，”timestamp“：1119699548000}”，“page”：“104-131”，“source”：“交叉参考”，“is-referenced-by-count”：14，“title”：[“建模动态web数据”]，“prefix”：“10.1016”，“volume”：“342”，“author”：[{“给定”：“Philippa”，“family”：“Gardner”，“sequence”：“first”，“affiliation”：[]}，{“已知”：“Sergio”，“家族”：“Maffeis”，“序列”：“additional”，“从属”：[]}]，“成员”：“78”，“reference”：[}“key”：”10.1016 \/j.tcs.2005.06.006_bib1“，“doi断言者”：“crossref”，“非结构化”：“S.Abiteboul，O.Benjelloun，T.Milo，I.Manolescu，R.Weber，Active XML:以数据为中心的Web服务视角，Verso Report number 2132002。”，“doi”：“10.1016\/B978-155860869-6\/50115-3”｝，｛“key”：“10.1016\/j.tcs.2005.06.006_bib2”，“doi断言者”：“crossref”，“非结构化”：“S.Abiteboul，A。Bonifati，G.Cobena，I.Manolescu，T.Milo，《带有分发和复制的动态XML文档》，摘自：Proc。ACM SIGMOD，2003.“，”DOI“：”10.1145\/872819.872821“}，{“key”：“10.1016\/j.tcs.2005.06.006_bib3”，“unstructured”：“S.Abiteboul，P.Buneman，D.Suciu，《Web上的数据：从关系到半结构化数据和XML》，Morgan Kaufmann，2000年。”}，“key“：”101016\/j.tcs.2005.06.006_bb4“，”DOI-asserted-by“：”crossref“，”unstructure“：”S。Abiteboul，et al.，Active XML引物，INRIA Futurs，GEMO Report number 2752003。本田，N.吉田，线性和互模拟，收录于：Proc。FoSSaCS\u201902，《计算机科学课堂讲稿》，柏林斯普林格，2002年，第290\u2013301页“}，{“key”：“10.1016\/j.tcs.2005.06.006_bib7”，“非结构化”：“G.Bierman，P.Sewell，Iota:一种并行XML脚本语言及其在家庭区域网络中的应用，剑桥大学技术报告UCAM-CL-TR-5572003年1月10.1016\/j.tcs.2005.06.006_bib8“，”非结构化“：”R.Braumandl，M.Keidl，A.Kemper，D.Kossmann，A.Kreutz，S.Seltzsam，K.Stocker，ObjectGlobe:互联网上的无处不在的查询处理，VLDB Journal 10（1）（2001）48\u201371.“}，{”key“：”10.1016\/j.tc.2005.06.006_bin9“，”doi-asserted-by“：”crossref“，”unstructured“：”C.Calcagno，P.Gardner，U。Zarfaty，Context logic and tree update，Proceedings of POPL\u201905，2005 ACM press，pp.271\u2013282.“，”DOI“：”10.1145\/104030510240328“}，{“issue”：“2”，“key”：“10.1016\/j.tcs.2005.006_bib10”，“first page”：”70“，”article-title“：”On the expression power of polydic synchronization in \u03c0-calculations“，”volume“：”10“，”author“：”Carbone“，”year“：”2003“，”journal-title“：”北欧计算机杂志。“}，{”key“：”10.1016\/j.tcs.2005.06.006_bib11“，”doi-asserted-by“：”crossref“，”unstructured“：”L.Cardelli，G.Ghelli，基于环境逻辑的查询语言，收录于：Proc.ESOP\u201901，《计算机科学讲义》，第2028卷，柏林斯普林格出版社，2001年，第1\u201322页。“，”doi“：”101007\/3-540-45309-1_1“}”，{“key”：“10.1016\/j.tc.2005.06.006_bin12“，”doi-asserted-by“：”crossref“，”unstructured“：”S.Conchon，F.Le Fessant，Jocaml：Objective-Caml的移动代理，in：Proc。ASA\u201999\/MA\u201 999，美国加利福尼亚州棕榈泉市，1999。“，”DOI“：”10.1109\/ASAMA.1999.805390“}，{“issue”：“2”，“key”：“10.1016\/j.tcs.2005.006_bib13”，“DOI-asserted-by”：“crossref”，“first-page”：“169”，”DOI:“10.1145\/50586.505590”，“article-title”：“xml文档的细粒度访问控制系统”，“volume”：”5“，“author”：“Damiani”，“year”：“2002”，“journal-title“：”ACM事务处理。信息系统。安全。“}，{”issue“：”5“，”key“：”10.1016\/j.tcs.2005.06.006_bib14“，”doi-asserted-by“：”crossref“，”first-page“：”447“，”doi“：”101017\/S0956796898003165“，“article-title”：“核心cml弱双模拟理论”，“volume”：“8”，“author”：“Ferreira”，“year”：“1998”，“journal-title“：”j.Functional Program.“}”，{“key”：”10.1016\/j.tcs.2005.06.006_bib15“，”doi-asserted-by“：”crossref“，”unstructured“：”P.Gardner，C.Laneve，L.Wischik，线性转发器，in：Proc。CONCUR 2003，《计算机科学讲义》，第2761卷，施普林格，柏林，2003年，第415\u2013430页10.1007\/978-3-540-24607-7_9“}，{“key”：“10.1016\/j.tcs.2005.06.006_bib17”，“article-title”：“动态Web数据建模”，“volume”：《第2921卷》，“author”：“Gardner”，“year”：“2003”}，}“keys”：“101016\/j.tcs.2005.06.006_bb18”，“doi-asserted-by”：“crossref”，“unstructured”：“P.Gardner，S。Maffeis，建模动态Web数据，伦敦帝国理工学院技术报告，2003年10月。”，“DOI”：“10.1007\/978-3-540-24607-7_9”}，{“key”：“101016\/j.tcs.2005.006_bib19”，“DOI-asserted-by”：“crossref”，“unstructured”：“j.Godskesen，T.Hildebrandt，V。Sassone，移动资源微积分，收录于：Proc。CONCUR\u201902，《计算机科学讲稿》，柏林斯普林格，2002年。“，”DOI“：”10.1007\/3-540-45694-5_19“}，{“key”：“10.1016\/j.tcs.2005.006_bib20”，“DOI-asserted-by”：“crossref”，“unstructured”：“A.Gordon，R.Pucella，通过键入验证web服务安全抽象，见：Proc.2002 ACM Workshop on XML security，2002，pp.18\u201329.”DOI“：”10.1145\/764792.764797“}，{“issue”：“1”，“key”：“10.1016\/j.tcs.2005.06.006_bbi21”，“DOI-asserted-by”：“crossref”，“first-page”：“82”，“DOI”：“101006\/inco.2001.3089”，“article-title”：“移动代理系统中的资源访问控制”，“volume”：”173“author”：“Hennessy”，“year”：“2002”，“journal-title“：”Inf.Comput.“}，{”键“：”10.1016\/j.tcs.2005.06.006_bib22“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Honda，M.Tokoro，异步通信的对象演算，in：Proc。ECOOP，《计算机科学讲义》，第512卷，施普林格，柏林，海德堡，纽约，东京，1991年，第133\u2013147页。过程语义“，”卷：“151”，“作者”：“本田”，“年份”：“1995”，“新闻标题”：“Theor”。计算。科学。“}，{”key“：”10.1016\/j.tcs.2005.06.006_bib24“，”unstructured“：”A.Jeffrey，j.Rathke，《高阶pi-calculus的上下文等价性重访》，《计算机科学报告》，2002年4月，苏塞克斯大学，2002年。Wiesner，Hyperqueries:互联网上的动态分布式查询处理，摘自：Proc。VLDB\u2019012001年，第551\u2013560页。06_磅27“，”非结构化“：”万维网联盟，XML路径语言（XPath）1.0版，可在http:\/\/w3.org/TR\/XPath上获得。“｝，｛”key“：”10.1016\/j.tcs.2005.06.006_bib28“，”doi断言“：”crossref“，”非结构化“：”R.Milner，j.Parrow，D.Walker，移动进程微积分，I和II，Inform.Comput.100（1）（1992）1\u201340,41\u201377.“，”doi“：”10.1016\/0890-5401（92）90008-4“｝，｛”key“：”10.1016\/j.tcs.2005.06.006_bib29“，”非结构化“：”B.C.Pierce，D.N。Turner，Pict：一种基于pi-calculus的编程语言，收录于：证明、语言和交互：罗宾·米尔纳的论文，麻省理工学院出版社，马萨诸塞州剑桥，2000年。“}，{“key”：“10.1016\/j.tcs.2005.006_bib30”，“非结构化”：“A。Sahuguet，ubQL:一种用于编程分布式查询系统的分布式查询语言，宾夕法尼亚大学博士论文，2002年非结构化“：”A.Sahuguet，V.Tannen，通过查询进程迁移实现资源共享，宾夕法尼亚大学技术报告MS-CIS-01-10，2001.“}，{“key”：“10.1016\/j.tcs.2005.006_bib33”，“非结构化”：“D。Sangiorgi，《在过程代数中表达迁移：一阶和高阶范式》，爱丁堡大学博士论文，1992年。Milner，《弱互模拟技术》，一篇文章的修订版出现在Proc中。CONCUR\u201992，《计算机科学讲义》，第630卷，施普林格，柏林，1992年。“}，{”key“：”10.1016\/j.tcs.2005.06.006_bib35“，”series-title“：”The \u03c0-calculation:a Theory of Mobile Process“，”author“：”Sangiorgi“，”year“：”2001“}”，{“issue”：“1”，“key”：“10.1016\/j.tcs.2005.06_bib36”，“doi-asserted-by”：“crossref”，“first page”：“38”，“doi”：“10.1006\/inco.1995.1004“，“文章标题”：“高阶通信系统理论”，“卷”：“116”，“作者”：“汤姆森”，“年份”：“1995年”，“期刊标题”：。“}]，”container-title“：[”Theoryal Computer Science“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0304397505003415？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/api.elsevier.com/content\/article\/PII:S0304397505003415？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2020,4,7]]，“date-time”：“2020-04-07T22:57:17Z”，“timestamp”：1586300237000}，“score”：1，“resource”：{primary“URL”：“https://linkinghub.elsevier.com/retrieve\/pii\/S03043939 7505003415“}}，”副标题“：[]，”短标题“：[]，”已发行“：｛”日期部分“：[[2005,9]]｝，”引用文献数“：36，”期刊发行“：｛”发行“：“1”，”已出版印刷“：｛”日期部分“：[[2005,9]]｝｝，”备选id“：[”S0304397505003415“]，”URL“：”http:\/\/dx.doi.org/10.1016\/j.tcs.2005.06.006“，”关系“：｛｝，”ISSN“：[”0304-3975“]，”ISSN类型“：[｛”value“：”0304-3975“，”type“：”print“｝]，”subject“：[]，”已发布“：{“date-parts”：[[2005,9]]}}}