{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T18:49:42Z”，“时间戳”：1725562182459}，“出版商位置”：“柏林，海德堡”，“参考计数”：27，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540212980“}，{”类型“：“electronic”，“value”：“9783540247272”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-24727-2_34“，”type“：”book-capter“，”created“：”{“date-part”：[2010,8,2]]，“date-time”：“2010-08-02T11:06:41Z“，”时间戳“：1280747201000}，”页面“：”484-498“，“source”：“Crossref”，“is-referenced-by-count”：8，“title”：[“显式融合微积分的强互模拟”]，“prefix”：“10.1007”，”author“：[{”given“：”Lucian“，”family“：”Wischik“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Philippa问题“：“4”，“key”：“34_CR1”，“doi-asserted-by”：“publisher”，”first page“：”375“，”doi“：”10.1017\/S09567968800000186“，”volume“：“1”，“author”：“M.Abadi”，“year”：“1991”，“unstructured”：“Abadi，M.，Cardelli，L.，Curien，P.-L.，L\u00e9vy，J.-J.J.：显式替换。函数编程杂志\u00a01（4），375\u2013416（1991）”，“Journal-title”：“函数编程杂志”}，{“issue”：“2”，“key”：“34_CR2”，“doi-asserted-by”：“publisher”，“first page”：《291》，“doi”：“10.1016\/S0304-3975（97）00223-5”，“volume”：”195“，“author”：“R.M.Amadio”，“year”：“1998”，“unstructured”：“Amadio，R.M.，Castellani，I.，Sangiorgi，D.：异步pi演算的互模拟。理论计算机科学\u00a0195（2），291\u2013324（1998）”，“期刊标题”：“理论计算机科学”}，{“key”：“34_CR3”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”415“doi”：“10.1007\/3-540-47993-7_18”，“volume-title”：“ECOOP 2002-面向对象编程”，“author”：“N.Benton”，“year”：“2002”，“unstructured”：“Benton，N.，Cardelli，L.，Fournet，C.：C#的现代并发抽象。In:Magnusson，B.（ed.）ECOOP 2002。LNCS，第u00a02374卷，第415\u2013440页。Springer，Heidelberg（2002）“}，{“doi-asserted-by”：“crossref”，“unstructured”：“Boreale，M.，Buscemi，M.和Montanari，U.：D-fusion：一种独特的融合演算（2003），（提交出版）”，“key”：“34_CR4”，“doi”：“10.1007\/978-3-540-30477-7_20”}“：”10.1016/S0304-3975（97）00125-4“，”卷“：”198“，”作者“：”M.Boreale“，”年份“：”1998“，”非结构化“：”Boreale，M.，Sangiorgi，D.：π演算二相似性的一些同余性质。理论计算机科学\u00a0198（1-2），159\u2013176（1998）“，“journal-title”：“理论计算机科学”}，{“非结构化”：“业务流程管理倡议。业务流程建模符号（BPML），http://www.bpmi.org\/”，“key”：“34_CR6”}10.1145\/503272.503278“，”volume-title“：”POPL 2002“，”author“：”S.Chaki“，”year“：”2002“，“unstructured”：“Chaki，S.，Rajamani，S.K.，Rehof，J.：类型作为模型：模型检查消息传递程序。收录于：POPL 2002，第45\u201357页。ACM Press，New York（2002）“}，{”key“：”34_CR8“，”first page“：“22”，”volume-title“：”ASA 1999\/MA 1999“，”author“：”S.Conchon“，”year“：”1999“，“unstructured”：“Conchon，S.，Fessant，F.L.：Jocaml：objective-caml的移动代理。摘自：ASA 1999\/MA 1999，pp.22\u201329。IEEE计算机学会出版社，洛斯阿拉米托斯（1999）“｝，｛”非结构化“：”Corporation，M.:Biztalk server，http:\/\/www.microsoft.com/Biztalk\/“，”key“：”34_CR9“｝，｛”key“：”34_CR10“，”doi asserted by“：”publisher“，”首页“：”372“，”doi“：”10.1145\/23721.237805“，”卷标题“：”POPL 1996“，”作者“：”C.Fournet“，”年份“：”1996“，”非结构化“：”Fournet，C.，Gonthier，G.：自反化学抽象机和连接微积分。收录于：POPL 1996，第372\u2013385页。ACM Press，New York（1996）“}，{”key“：”34_CR11“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“844”，”doi“：”10.1007\/BFb0055107“，”volume-title“：“Automata，Languages and Programming”，”author“：”C.Fournet“，”year“：”1998“，”unstructured“：”Fournet，C.，Gonthier，G.：异步计算的等价层次。收录：Larsen，K.G.，Skyum，S.，Winskel，G.（编辑）ICALP 1998。LNCS，第u00a01443卷，第844\u2013855页。Springer，Heidelberg（1998）“}，{”key“：”34_CR12“，”首页“：”74“，”volume-title“：”ICAPDC 1997年会议记录“，”author“：”Y.Fu“，”year“：”1997“，”unstructured“：”Fu，Y.：chi-calculus.In:Proceedings of ICAPDC 1997,pp.74\u201381。IEEE Computer Society Press，Los Alamitos（1997）“}，{”key“：”34_CR13“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“245”，”doi“：”10.1007\/3-540-49366-2_19“，”volume-title“：“计算科学进展-亚洲\u201998”，“author”：“Y.Fu”，“year”：“1998”，“unstructured”：“”Fu，Y.：chi过程的互模拟格。In：Hsiang，J.，Ohori，A.（编辑）ASIAN 1998。LNCS，第u00a01538卷，第245\u2013262页。Springer，Heidelberg（1998）“}，{”key“：”34_CR14“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“304”，”doi“：”10.1007\/3-540-48320-9_22“，”volume-title“：“CONCUR\u201999。并发理论”，“作者”：“Y.Fu”，“年份”：“1999”，“非结构化”：“Fu，Y.：关于chi过程的开放互模拟。收录：Baeten，J.C.M.，Mauw，S.（编辑）CONCUR 1999。LNCS，第u00a01664卷，第304\u2013319页。Springer，Heidelberg（1999）“}，{”key“：”34_CR15“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“418”，”doi“：”10.1007\/3-540-45694-5_28“，”volume-title“：“CONCUR 2002-并发理论”，”author“：”P.Gardner“，”year“：”2002“，”unstructured“：”Gardner，P.，Laneve，C.，Wischik，L.：聚变机器。收录人：Brim，L.，Jan\u010dar，P.，K\u0159et\u00ednsk\u00fd，M.，Kucera，A.（编辑）CONCUR 2002。LNCS，第u00a02421卷，第418\u2013433页。Springer，Heidelberg（2002）“}，{”key“：”34_CR16“，”series-title“：”计算机科学课堂讲稿“，”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）“}，{”key“：”34_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“373”，”doi“：”10.1007\/3-540-44612-5_33“，”volume-title“：“2000年计算机科学数学基础”，”author“：”P.Gardner“，”year“：”2000“，”unstructured“：”Gardner，P.，Wischik，L.：显式融合。收录：Nielsen，M.，Rovan，B.（编辑）MFCS 2000。LNCS，第u00a01893卷，第373\u2013382页。Springer，Heidelberg（2000）“}，{”issue“：”2“，”key“：”34_CR18“，”doi-asserted-by“：”publisher“，”first page“：“437”，“doi”：“10.1016\/0304-3975（95）00074-7”，“volume”：“152”，”author“：”K.Honda“，“year”：“1995”，“unstructured”：“Honda，K.，Yoshida，N.：论基于约简的过程语义。理论计算机科学\u00a0152（2），437\u2013486（1995）“，”journal-title“：”理论计算机科学“}，{“key”：“34_CR19”，“series-title”：“理论计算机科学中的电子笔记”，“volume-title”：”EXPRESS 1998“，“author”：“M.Merro”，“year”：“1998”，“unstructured”：“Merro，M.：关于chi、update和fusion calculi的表达。in:EXPRESS1998。理论计算机科学电子笔记，第\u00a016.2卷，Elsevier，Amsterdam（1998）“}，{“volume-title”：“通信和移动系统：Pi-calculus”，“year”：“1999”，“author”：“R.Milner”，“unstructured”：“Milner，R.：通信和移动系统：Pi-carculus。剑桥大学出版社，剑桥（1999）”，“key”：“34_CR20”}，}“key“：”34_CR21“，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“16”，“doi”：“10.1007\/3-540-44685-0_2”，“volume-title”：《CONCUR 2001-并发理论》，“author”：“R.Milner”，“year”：“2001”，“unstructured”：“Milner，R.：Bigraphical reactive systems”。收录：Larsen，K.G.，Nielsen，M.（编辑）CONCUR 2001。LNCS，第00a02154卷，第16页\u201335。Springer，Heidelberg（2001）“}，{”key“：”34_CR22“，”first page“：“176”，”volume-title“：”LICS 1998“，”author“：”J.Parrow“，”year“：”1998“，“unstructured”：“Parrow，J.，Victor，B.：融合演算：移动过程中的表达性和对称性。摘自：LICS 1998，pp.176\u2013185。IEEE Computer Society Press，Los Alamitos（1998）“}，{”volume-title“：”Pi-Calculus:移动进程理论“，”year“：”2001“，”author“：”D.Sangiorgi“，”unstructured“：”SangiorgiD.，Walker，D.：The Pi-Calcus:A Theory of Mobile Processes。剑桥大学出版社，剑桥（2001）“，”key“：”34_CR23“}”，{“key”：“34_CR24”，“doi-asserted-by”：“”publisher“，”first page“：”69“，”DOI“：”10.1007 \/s002360050036“，”volume“：“33”，”author“：”D.Sangiorgi“，”year“：”1996“，”unstructured“：”Sangirgi，D.：pi-calculus的互模拟理论。Acta Informatica\u00a033，69\u201397（1996）“，“journal-title”：“Acta Information”}，{“unstructured”：“Thatte，S.：XLANG:业务流程设计的Web服务，http://www.gotdotnet.com\/team\/xml_wsspecs\/XLANG-c\/”，“key”：“34_CR25”}、{“key“：”34_CR26“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：455“，”DOI“：”10.1007\/BFb0055075“，”volume-title“：”Automata，Languages and Programming“，”author“：”B.Victor“，”year“：”1998“，”unstructured“：”Victor，B.，Parrow，J.：融合演算中的并发约束。在：Larsen，K.G.，Skyum，S.，Winskel，G.（编辑）ICALP 1998。LNCS，第u00a01443卷，第455\u2013469页。Springer，Heidelberg（1998）“}，{“非结构化”：“Wischik，L.：显式融合：理论与实现。剑桥大学博士论文（2001）”，“key”：“34_CR27”}]，“container-title”：[“计算机科学讲义”，“软件科学与计算结构基础”]，“原文标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-540-24727-2_34“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,31]]，”date-time“：“2019-05-31T23:22:55Z”，”timestamp“：1559344975000}，”score“：1，”resource“:{”primary“：”http://\/link.springer.com/10.1007\/978-3-540-24727-2_34“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2004]]}，“ISBN”：[“9783540212980”，”9783540247272“]，”引用计数“：27，”URL“：”http://\/dx.doi.org\/10.10007\/988-3-54024727-2_34“，”关系“：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“键入“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2004]]}}