{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,4,7]]，“日期-时间”：“2024-04-07T02:48:55Z”，“时间戳”：1712458135177}，“引用-计数”：32，“发布者”：“Elsevier BV”，“问题”：“3”，“许可证”：[{“开始”：{-date-parts”：[2005,8,1]]，08-01T00:00:00Z“，”时间戳“：112285440000}，“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”：2943，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[2005,8]]}，”DOI“：”10.1016\/j.tcs.2005.03.017“，”type“：”journal-article“，”created“：{”date-part“：[2005,4,7]]，”date-time“：”2005-04-07T21:50:49Z“，”timestamp“：1112910649000}”，“page”：“606-630”，“source”：“交叉参考”，“is-referenced-by-count”：36，“title”：[“Explicit fusions”]，“prefix”：“10.1016”，“volume”：“340”，“author”：[{“given”：”Lucian“，”family“：”Wischik“，”sequence“：”first“，”affiliation“：[]}，{“fixed”：“Philippa”，“family”：“Gardner”，“sequence”：“additional”，“afliation”：[]{“member”：“78”，“reference”：[}“issue”：“4”，“密钥“：”10.1016\/j.tcs.2005.03.017_bib1“，“doi-asserted-by”：“crossref”，“first page”：“375”，“doi”：“10.1017\/S095679680000186”，“article-title”：“显式替换”，“卷”：“1”，“作者”：“Abadi”，“年份”：“1991”，“日志标题”：“J.Funct.Program.”}，{“issue”：“0”，“key”：”10.1016\/J.tcs.2005.017_bib2“，”doi-assert-by“：”crossref.“，”首页“：”217“，”doi“：”10.1016\/0304-3975（92）90185-I“，“article-title”：“The chemical abstract machine”，“volume”：“96”，“author”：“Berry”，“year”：“1992”，“journal-title“：”Theoret.Compute.Sci.“}，{“key”：”10.1016\/j.tcs.2005.03.017_bib3“，”doi-asserted-by“：”crossref“，”unstructured“：”M.Boreale，M.Buscemi，U。Montanari，D-fusion：一种独特的融合演算，载于：APLAS 2004，《计算机科学讲义》，第3302卷，第296\u2013310页。“文章标题”：“pi-calculus与复制的多重集和结构一致性”，“卷”：“211”，“作者”：“Engelfriet”，“年份”：“1999”，“期刊标题”：“Theoret。计算。科学。“}，{”key“：”10.1016\/j.tcs.2005.03.017_bib5“，”doi-asserted-by“：”crossref“，”unstructured“：”C.Fornet，L\u00e9vy，A.Schmitt，《移动环境的异步分布式实现》，摘自：《IFIP tcs 2000会议录》，《计算机科学讲义》，第1872卷，第348\u2013364页。http://\/research.microsoft.com/~fournet\/paperss\/implementation-of-ambients-tcs.pdf“，”DOI“：”10.1007\/3-540-44929-9_26“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib6”，“unstructured”：“Y.Fu，The chi-calculus.In ICAPDC 1997，IEEE，Computer Society Press，pp.74\u201381。”}，“key“：”10.0016\/j.tcs.2005.03.017_bb7“，”DOI-asserted-by“：“交叉引用”，“unstructured“：”傅永义，chi过程的互模拟格，载：ASIAN 1998，《计算机科学讲义》，第1538卷，第245\u2013262页。http://\/link.springer-ny.com/link\/service\/series\/0558\/bibs\/15380245.htm“，”DOI“：”10.1007\/3-540-49366-2_19“}，{“key”：“10.1016\/j.tcs.2005.017_bib8”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.Gardner，C.Laneve，L.Wischik，The fusion machine，in:CONCUR 2002，《计算机科学讲稿》，第2421卷，第418页。u2013433。http://www.wischik.com/lu\/research\/fm.html“，”DOI“：”10.1007\/3-540-45694-5_28“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib9”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.Gardner，C.Laneve，L.wischik，线性转发器，收录于：CONCUR 2003，《计算机科学讲稿》，第2761卷，第415\u2013430页。http://www.wischik.com/lu\/research\/linfwd.html“，”DOI“：”10.1007\/978-3-540-45187-7_27“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib10”，“unstructured”：“P.Gardner，L.wischik，Symmetric action calculi（抽象），未出版手稿，1999年。http://www.wischik.com/lu\/research\/sac.html“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib11”，“doi-asserted-by”：“crossref”，“unstructured”：“P.Gardner，L.wischik，Explicit fusions，in：MFCS 2000，《计算机科学讲义》，第1893卷，第373\u2013382页。http://www.wischik.com/lu\/research\/explicit-fusions.html“，”DOI“：”10.1007\/3-540-44612-5_33“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib12”，“unstructured”：“T.Heindel.Cyclic lambda-graph reduction（call-by-need）and their process semantics，硕士论文，图宾根大学，2003年。”13英寸doi-asserted-by“：”crossref“，”first page“：”353“，”doi“：”10.1016\/0304-3975（94）00172-F“，“article-title”：“符号双模拟”，“volume”：“138”，“author”：“轩尼诗”，“year”：“1995”，“journal-title“：”Theoret。计算。科学。“}，{”issue“：”2“，”key“：”10.1016\/j.tcs.2005.03.017_bib14“，”doi-asserted-by“：”crossref“，”first page“：“437”，”doi“：”101016\/0304-3975（95）00074-7“，“article-title”：“On reduction-based process semantics”，“volume”：“152”，“author”：“Honda”，”year“：”1995“，”journal-title“：”Theoret.Compute.Sci.“}”，{“key”：”10.1016\/j.tcs.2005.03.017_bib15“，”doi-asserted-by“：”crossref”，“非结构化”：“K.Honda，过程理论中的基本结构（1）：具有重命名的集合。数学。结构。计算。科学。2001.ftp:\/\/ftp.dcs.qmw.ac.uk\/lfp\/kohei\/ps.ps.gz“，”DOI“：”10.1017\/S0960129599002947“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib16”，“DOI-asserted-by”：“crossref”，“unstructured”：“C.Laneve，j.Parrow，B.Victor，Solo diagrams，in：TACS 2001，《计算机科学讲义》，第2215卷，第127\u2013144页。http://www.docs.uu.se \/~victor \/tr \/solodiagrams.shtml“，”DOI“：”10.1007\/3-540-45500-0_6“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib17”，“DOI-asserted-by”：“crossref”，“unstructured”：“C.Laneve，B.victor，Solos in concert，in:ICALP\u201999，《计算机科学讲义》，第1644卷，第513\u2013523页。http://www.docs.uu.se\/~victor\/tr\/solos.shtml“，”DOI“：”10.1007\/3-540-48523-6_48“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib18”，“DOI-asserted-by”：“crossref”，“unstructured”：“M。梅罗，《关于气的表达、更新和融合计算》，载于：EXPRESS 1998，《理论计算机科学电子笔记》，第16.2卷，爱思唯尔科学出版社。http://www.elsevier.nl\/locate\/entcs\/volume16.2.html“，”DOI“：”10.1016\/S1571-0661（04）00122-7“}，{“问题”：“2”，“密钥”：“10.1016\/j.tcs.2005.017_bib19”，“DOI-asserted-by”：“crossref”，“第一页”：“119”，”DOI:“10.1017\/S09K129500001407”，“article-title”：“函数作为进程”，“卷”：“3”“，”author“：”Milner“，”year“：”1992“，”journal-title“：”数学。结构。计算。科学。“}，{”issue“：”8“，”key“：”10.1016\/j.tcs.2005.03.017_bib20“，”doi-asserted-by“：”crossref“，”first page“：“707”，”doi“：”101007\/s002360050067“，”article-title“：”Calculi for interaction“，”volume“:”33“，”author“：”Milner“，”year“：”1996“，”journal-title”：“Acta Inform.”}，”{“key”：“10.1016\/j.tc.200 5.03.017_bib21“，”series-title“：”通信和移动系统：圆周率微积分》，“作者”：“米尔纳”，“年份”：“1999”}，{“密钥”：“10.1016\/j.tcs.2005.03.017_bib22”，“doi断言”：“crossref”，“非结构化”：“j.Nihren，M。米勒，并发计算中的免费约束，载于：亚洲计算科学会议，计算机科学讲稿，第10231995卷，第171\u2013186页。ftp:\/\/ps-ftp.dfki.uni-sb.de\/pub\/papers\/ProgrammingSysLab\/ConstraintsFree.ps.Z“，”DOI“：”10.1007\/3-540-60688-2_43“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib23”，“DOI-asserted-by”：“crossref”，“unstructured”：“j.Parrow，B。Victor，《融合演算：移动过程中的表现力和对称性》，载：LICS\u201998，IEEE，计算机社会出版社，第176\u2013185页。http://www.docs.uu.se\/~victor\/tr\/fusion.shtml“，”DOI“：”10.1109\/LICS.1998.705654“}，{“问题”：“1\u20132”，“密钥”：“10.1016\/j.tcs.2005.017_bib24”，“DOI-asserted-by”：“crossref”，“首页”：“235”，”DOI:“10.1016 \/0304-3975（96）00075-8”，《文章标题》：“Pi-calculus，内部“机动性和代理传递计算”，“卷”：“167”，“作者”：“Sangiorgi”，“年份”：“1996年”，“新闻标题”：“理论。计算。科学。“}，{”issue“：”1“，”key“：”10.1016\/j.tcs.2005.03.017_bib25“，”doi-asserted-by“：”crossref“，”first page“：“69”，“doi”：“10.1007\/s002360050036”，“article-title”：“像素互模拟理论”，“volume”：“33”，“author”：“Sangiorgi”，“year”：“1996”，“journal-title“：”Acta Inform.“}\/j.tcs.2005.03.017_bib26“，”非结构化“：”R。Schweimeier，编程语言的分类和图形模型，苏塞克斯大学博士论文，2001年。“}，{”issue“：”3“，”key“：”10.1016\/j.tcs.2005.03.017_bib27“，”doi-asserted-by“：”crossref“，”first-page“：”116“，“doi”：“10.1145\/373243.360214”，“article-title”：“Nomadic pict:correct communication infrastructure for mobile computing”，“volume“：”36“，”author“：”Unyapoth“，”year“：”2001“，”journal-title“：”ACM SIGPLAN Notices“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib28”，“doi-asserted-by”：“crossref”，“unstructured”：“B.Victor，j.Parrow，融合演算中的并发约束，in：ICALP\u201998，《计算机科学讲义》，第1443卷，第455\u2013469页。http://www.docs.uu.se\/~victor\/tr\/ccfc.shtml“，”DOI“：”10.1007\/BFb0055075“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib29”，“unstructured”：“L.Wischik，显式融合：理论与实现，剑桥大学博士论文，2001。http://www.wischik.com/lu\/research\/efti.html“}，{“key”：“10.1016\/j.tcs.2005.03.017_bib30”，“unstructured”：“L.wischik，努的旧名，2004年，发表于Dagstuhl神学院04241。http://www.wischik.com/lu\/research\/oldnames.html“｝，｛“key”：“10.1016\/j.tcs.2005.03.017_bib31”，“doi asserted by”：“crossref”，“unstructured”：“L.wischik，P.Gardner，显式融合微积分的强互模拟，载于：FOSSACS 2004，《计算机科学讲义》，第2987卷，第484\u2013498页。http://www.wischik.com/lu\/research\/eft.html”，“DOI”：“10.1007\/978-3-540-24727-2_34”}，{“key”：“10.1016\/j.tcs.2005.03.017_bib32”，“非结构化”：“L.wischik，D.wischik，同步交会的可靠协议（注），技术报告2004-1，博洛尼亚大学，2004年。http://www.wischik.com/lu\/research\/verona.html“}]，“container-title”：[“理论计算机科学”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397505001386？httpAccept=text\/xml”，“content-type”：“text\/xml”，“内容-版本”：“vor”，“intended-application”：“文本-应用程序”宁“}，{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0304397505001386？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2020,4,6]]，“date-time”：“2020-04-06T18:25:20Z”，“timestamp”：1586197520000}，“score”：1，“resource”：{primary“URL”：“https:\\/linkinghub.elsevier.com/retrieve\/pii\/S03043939 7505001386“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2005,8]]}，”references-count“：32，”journal-issue“：{“issue”：“3”，”published-print“：{”date-ports“：[2005,8]}}，“alternative-id”：[“S0304397505001386”]，“URL”：“http://\/dx.doi.org\/101016\/j.tcs.2005.03.017”，“relation”：{}，4-3975“]，”ISSN-type“：[{”value“：”0304-3975“，”type“:”print“}]，”subject“：[]，“已发布“：{“date-parts”：[[2005,8]]}}}