{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T12:55:02Z”，“时间戳”：1648904102231}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540407539”，“类型”：“打印”}，{“值”：“9783540451877”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2003,1,1]]，“date-time”：“2003-01-01T00:00:00Z”，“timestamp”：1041379200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：{“date-parts”：[2003]]}，“DOI”：“10.1007\/978-3-540-45187-7_27”，“type”：“book-chapter”，“created”：{“date-parts”：[[2010,6,25]]，“date-time”：“2010-06-25T18:38:49Z”，“timestamp”：1277491129000}，《page》：“415-430”，“source”：[{“given”：“Philippa”，“family”：“Gardner”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Cosimo”，“family”：“Laneve”，“sequence”：“additional”，“abfiliation“：[]{”given“：”Lucian“，”family“：”Wischik“，”sequence“：”additional 360204.360213“，“volume-title”：“POPL 2001”，“author”：“M。Abadi”，“年份”：“2001年”，“非结构化”：“Abadi，M.，Fournet，C.：移动价值、新名称和安全通信。载于：POPL 2001，第104\u2013115页。美国计算机学会出版社，纽约（2001）“}，{”key“：”27_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“304”，”doi“：”10.1007\/3-540-46691-6_24“，”volume-title“：“软件技术与理论计算机科学基础”，”author“：”R.Amadio“，”year“：”1999“，”unstructured“：”Amadio，R.、Boudol，G.、Lhoussaine，C.：接受性分布的颗粒。收录：Pandu Rangan，C.，Raman，V.，Sarukkai，S.（编辑）FST TCS 1999。LNCS，第u00a01738卷，第304\u2013315页。Springer，Heidelberg（1999）“}，{”key“：”27_CR3“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“374”，”doi“：”10.1007\/3-540-63383-9_92“，”volume-title“：“协调语言和模型”，”author“：”R.Amadio“，”year“：”1997“，”unstructured“：”Amadio，R.：局部性、故障和进程移动性的异步模型。收录：Garlan，D.，Le M\u00e9tayer，D.（编辑）COORDINATION 1997。LNCS，第u00a01282卷，第374\u2013391页。Springer，Heidelberg（1997）“}，{“issue”：“2”，“key”：“27_CR4”，“doi asserted by”：“publisher”，“首页”：“205”，“doi”：“10.1016/S0304-3975（97）00220-X”，“volume”：“195”，“author”：“M.Boreale”，“year”：“1998”，“nonstructured”：“Boreale，M.:论名称传递结石中内部流动性的表现力。理论计算机科学\u00a0195（2），205\u2013226（1998）“，”期刊标题“：”理论计算机科学“}，{“key”：“27_CR5”，“unstructured”：“Boudol，G.：异步和u03c0-演算（注）。拉普拉特·德雷切赫1702，INRIA Sophia-Antipolis（1992）”}，“issue”：“1”，“key“：”27_CR6“，”doi-asserted-by“：”publisher“，”第一页“：”177“，“doi”：“10.1016\/S0304-3975（99）002 31-5英寸，“体积”：“240”，“作者“：”L.Cardelli“，”year“：”2000“，”unstructured“：”Cardelli，L.，Gordon，A.D.：移动环境。理论计算机科学\u00a0240（1），177\u2013213（2000）“，“journal-title”：“理论计算机科学”}，{“key”：“27_CR7”，“doi-asserted-by”：“publisher”，“first-page”：“372”，“doi”：“10.1145\/237721.237805”，“volume-title“：”POPL 1996“，“author”：“C.Fournet”，“year”：“1996”，“unstructured”：“Fournet，C.，Gonthier，G.：反射化学抽象机和联合微积分。收录于：POPL 1996，第372\u2013385页。ACM Press，New York（1996）“｝，｛“key”：“27_CR8”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“首页”：“418”，“doi”：“10.1007\/3-545-45694-5_28”，“volume title”：“CONCUR 2002-并发理论”，“author”：“P.Gardner”，“year”：“2002”，“nonstructured”：“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“：”27_CR9“，”first page“：“255”，”volume-title“：”ICPP 1985“，”author“：”D.Gelernter“，”year“：”1985“，“unstructured”：”Gelerner，D.，Carrierro，N.，Chandran，S.，Chang，S.：Linda中的并行编程。摘自：ICPP 1985，pp.255\u2013263。IEEE，Los Alamitos（1985）“}，{“问题”：“2”，“关键”：“27_CR10”，“doi-asserted-by”：“出版商”，“首页”：“121”，“doi”：“10.1007”，卷：“18”，“作者”：“A.Giacalone”，年：“1989”，“非结构化”：“Giacalone，A.，Mishra，P.，Prasad，S.：Facile:并发编程和函数编程的对称集成。国际并行编程杂志\u00a018（2），121\u2013160（1989）“，”杂志标题“：”国际并行编程期刊“}，{“issue”：“2”，“key”：“27_CR11”，“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）“，“期刊标题”：“理论计算机科学”}，{“期刊”：“5”，“关键字”：“27_CR12”，“doi-asserted-by”：“publisher”，“首页”：“914”，“doi”：“10.1145\/330249.330251”，“卷”：“21”，“作者”：“N.Kobayashi”，《年份》：“1999”，“非结构化”：“小林，N.，皮尔斯，B.C.，特纳，D.N.：线性和像素。《美国计算机学会程序设计语言与系统学报》\u00a021（5），914\u2013947（1999）“，”期刊标题“：”《美国计算机协会程序设计语言和系统学报》“}，{“key”：“27_CR13”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”856“，“doi”：“10.1007\/BFBb0055108”，“volume-title”：”自动化，语言与编程”，“作者”：“M.Merro”，“年份”：“1998”，“非结构化”：“Merro，M.，Sangiorgi，D.：关于名称传递计算中的异步性。收录：Larsen，K.G.，Skyum，S.，Winskel，G.（编辑）ICALP 1998。LNCS，第u00a01443卷，第856\u2013867页。Springer，Heidelberg（1998）“}，{”key“：”27_CR14“，”series-title“：“理论计算机科学中的电子笔记”，“volume-title”：“EXPRESS 1999”，“author”：“M.Merro”，“year”：“1999”，”unstructured“：”Merro，M.：“异步名字传递计算中的赤道上没有匹配。in:EXPRESSS 1999。理论计算机科学电子笔记，第u00a027卷。Elsevier Science Publishers，Amsterdam（1999）“}，{”key“：”27_CR15“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“685”，”doi“：”10.1007\/3-540-55719-9_114“，”volume-title“：“Automata，Languages and Programming”，”author“：”R.Milner“，”year“：”1992“，”unstructured“：”Milner，R.，Sangiorgi，D.：倒钩相互模拟。收录：Kuich，W.（编辑）ICALP 1992。LNCS，第u00a0623卷，第685\u2013695页。Springer，Heidelberg（1992）“}，{”key“：”27_CR16“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“518”，”doi“：”10.1007\/BFb0084813“，”volume-title“：“CONCUR\u201992”，”author“：”J.Parrow“，”year“：”1992“，”unstructured“：”Parrow，J.，Sj\u00f6din，P.：通过耦合模拟验证多路同步。在：克利维兰，W.R.（编辑）CONCUR 1992。LNCS，第u00a0630卷，第518\u2013533页。Springer，Heidelberg（1992）“}，{”issue“：”1\u20132“，”key“：”27_CR17“，”doi-asserted-by“：”publisher“，”first page“：“235”，”doi“：”10.1016\/0304-3975（96）00075-8“，“volume”：“167”，“author”：“D.Sangiorgi”，“year”：“1996”，“unstructured”：“Sangiorgigiorgi，D.：Pi-calculus，internal mobility and agent-passessing calculi。理论计算机科学\u00a0167（1\u2013）），235\u2013275（1996）“，”journal-title“：”Theoryal Computer Science“}，{”issue“：”5“，”key“：”27_CR18“，”doi-asserted-by“：”publisher“，”first-page“：”447“，”doi“：”10.1017\/S0960129598002527“，”volume“：“8”，”author“：”D.Sangiorgi“，”year“：”1998“，”unstructured“：”Sangiorgi，D.：关于互模拟证明方法。计算机科学中的数学结构\u00a08（5），447\u2013479（1998）“，”杂志标题“：”计算机科学中数学结构“}，{“key”：“27_CR19”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”1“，”doi“：”10.1007\/3-540-47959-7_1“，”volume-title“：”互联网编程语言“，”author“：”P。Sewell”，“年份”：“1999年”，“非结构化”：“Sewell，P.、Wojciechowski，P.和Pierce，B.：移动代理的位置独立性。摘自：Bal，H.E.，Cardelli，L.，Belkhouche，B.（编辑）ICCL-WS 1998。LNCS，第u00a01686卷，第1\u201331页。Springer，Heidelberg（1999）“}]，“容器标题”：[“CONCUR 2003-并发理论”，“计算机科学讲义”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.Springer.com\/content/pdf\/10.1007\/978-3-540-45187-7_27”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：{date-parts“：[[2019,5,19]]，”date-time“：”2019-05-19T15:16:21Z“，”timestamp“：1558278981000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-45187-7_27”}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-part”：[2003]]}，《ISBN》：[“9783540407539”，“9783540451877”]，“references-count”：19，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-45187-7_27“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，“type”：“print”}，{”价值“：”1611-33049“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2003]]}}}}