{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T20:29:34Z”，“时间戳”：1648585774065}，“引用-计数”：21，“发布者”：“开放发布协会”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.276.9”，“type”：“journal-article”，“created”：{“date-parts”：[[2018,8,24]]，“date-time”：“2018-08-24T10:07:41Z”，“timestamp”：1535105261000}，“page”：移动环境“]，”前缀“：“10.4204”，“音量”：“276”，“作者”：[{“given”：“Kirstin”，“family”：“Peters”，“sequence”：“first”，“affiliation”：[}“name”：“TU Berlin”}]}，{“给定”：“Uwe”，”family“：”Nestmann“，”sequence“：”additional“，”affiliance“：[{name“：”TU Berrin“}]}]，“member”：“2720”，“published on”：{“date-parts”：[2018,8,24]]}“reference“：[{”key“：”berryBoudol90“，”series-title“：”SIGPLAN-SIGACT“，“doi-asserted-by”：“publisher”，“first page”：“81”，“doi”：“10.1145\/96709.96717”，“article-title”：“The Chemical Abstract Machine”，“volume-title“：”POPL Proc.“，”author“：”Berry“，”year“：”1990“}，{“key”：”bestDarondeau11“，”series-title“：“7162”，“author”：“Best”，“year”：“2011”}，{“key”：“cardelliGordon98”，“series-title”：“LNCS”，“doi-asserted-by”：“publisher”，“首页”：“140”，“doi”：“10.1007\/BFb0053547”，“article-title”：”移动环境“，”volume-title“：”FoSSaCS程序“，”卷“：“1378”，“author”：“Cardelli”，“年份”：“1998”}don00“，”doi-asserted-by“：”publisher“，”first page“：”177“，“doi”：“10.1016\/S0304-3975（99）00231-5”，“article-title”：“移动环境”，“卷”：“240”，“作者”：“Cardelli”，“年份”：“2000”，“日志标题”：“理论计算机科学”}，{“key”：“jocaml99”，“doi-asserted-by”：“publisher”，“首页”：“22”，“doi”：“10.1109\/ASASMA.1999.805390”，“article-title”：“Jocaml:Objective-Caml的移动代理”，“卷时间”：“ASA\/MA的Proc.”，“author”：“Conchon”，“year”：“1999”}，{“issue”：“2”，“key”：“dijkstra71”，“doi-asserted-by”：“publisher”，“first page”：《115》，“doi”：“10.1007\/BF00289519”，“article-title”：“Sequential Processes的层次排序”，“volume”：Informatica“}，{”key“：”fournetGonthier96“，“series-title”：“SIGPLAN-SIGACT”，“doi-asserted-by”：“publisher”，“first page”：“372”，“doi”：“10.1145\/237721.237805”，“article-title”：”The Reflexive CHAM and The Join-Calculus“，”volume-title“：”POPL Proc.“，”author“：”Fournet“，”year“：”1996“}，{“key”：”fournetLevySchmitt00“，”series-title“：”LNCS“，”doi-assert-by“：”publisher“，”first page“：”348“，”doi“：“10.1007\/3-540-44929-9_26”，“article-title”：“移动环境的异步分布式实现”，“volume-title“：“TCS的进程”，“卷”：“1872”，“作者”：“Fornet”，“年份”：“2000”}，{“key”：“vanglabeek01”，“首页”：“3”，“article-title”：“线性时间\u2013分支时间谱I：具体的语义，顺序过程”，“author”：“van Glabbeek”，“year”：“2001”，“journal-title”：“过程代数手册”}，{“key”：“glabbeekGoltzSchicke08b”，“series-title”：”LNCS“，”doi-asserted-by“：”publisher“，”first page“：”16“，”doi“：”10.1007\/978-3-540-85238-4“，”article-title“：”On Synchronous and Asynchronous Interaction Distributed Systems“，”volume-title：“Proc.of MFCS”，“volume”：“5162”，“author”：“van Glabbeek”，“year”：“2008”}，{“key”：“glabbeekGoltzSchicke12”，“series-title”：“LNCS”，“doi-asserted-by”：“publisher”，”first page“：”331“，”doi“：”10.1007\/978-3642-28729-9_22“，”article-title“：”On Distributability of Petri Nets“，”volume-title：“Proc.of FoSSaCS”，“volume”：”7213“，”author“：“van Glabbeek”，“年份”：“2012”}，{“问题”：“9”，“关键”：“gorla10”，“doi断言者”：“publisher”，“首页”：“1031”，“doi”：“10.1016\/j.ic.2010.05.0002”，“文章标题”：“实现过程微积分的可编码性和分离结果的统一方法”，“卷”：“208”，“作者”：“Gorla”，“年份”：“2010”，“期刊标题”：“信息与计算”}，{“密钥”：“hennessy07”，“doi断言者”：“publisher”，“volume-title”：“A Distributed Pi-Calculus”，“author”：“Hennessy”，“year”：“2007”，“DOI”：“10.1017\/CBO9780511611063”}，{“key”：“hondaTokoro91”，“series-title”：”LNCS“，“DOI-asserted-by”：“publisher”，“first page”：”133“，“DOI:”10.1007\/BFBb0057011“，”article-title“：”An Object Calculus for Asynchronous Communication“，”volume-tite“：”Proc ECOOP“，”卷“：”512“，“author”：“Honda”，“year”：“1991”}，{“key”：“levSangiorgi03”，“doi-asserted-by”：“publisher”，”first page“：“1”，“doi”：“10.1145\/596980.596981”，”article-title“：“Mobile Safe Ambients”，“volume-title”：“Proc.of TOPLAS”，“volume”：”25“authors”：“Levi”，“年份”：“2003”}“LNCS”，“doi-asserted-by”：“publisher”，“first page”：“233”，“doi”：“10.1007”，“BFb0014554”，“article-title”：“Join-Calculus中的一些结果”，“volume-title“：“计算机软件的理论方面”，“volume”：“1281”，“author”：“L\u00e9vy”，“year”：“1997”}，{“issue”：“1”，”key“milnerParrowWalker92”，“doi-asserted-by”：“publisher”，”first page“1”、“doi”：“10.1016\/0890-5401（92）90008-4，10.1016 \/0890-5401（92）90009-5“，“文章标题”：“移动过程微积分，第一部分和第二部分”，“卷”：“100”，“作者”：“Milner”，“年份”：“1992”，“期刊标题”：“信息与计算”}，{“密钥”：“milnerSangiorgi92”，“系列标题”：“LNCS”，“doi断言者”：“出版商”，“首页”：“685”，“doi”：“10.1007\/3-540-5579-9_114”，“文章标题”：“Barbed Bisimulation”，“卷标题”：“ICALP程序”，“卷”：“623”，“作者”：“Milner”，“年份”：“1992”}，{“key”：“peters12”，“doi-asserted-by”：“publisher”，“volume-title”：“翻译表达性”，“author”：“Peters”，“year”：“2012”，“doi”：“10.14279\/depositonce-3416”}“出版商”，“首页”：“310”，“doi”：“10.1007\/978-3-642-37036-6_18”，“article-title”：“关于过程微积分中的可分配性”，“volume-title“：“ESOP的程序”，“卷”：“7792”，“作者”：“Peters”，“年份”：“2013”}，{“key”：“plotkin04”，“首页”：“17”，“article-title”：“操作语义的结构方法”，“体积”：“60”，“author”：“Plotkin”，“年”：“2004”，“新闻标题”：“逻辑与代数编程杂志”}]，“容器-时间”：[“理论计算机科学中的电子论文集”]，“原始标题”：[]，“语言”：“en”，“存放”：{“日期-部分”：[[2018,9,20]]，“日期-时间”:“2018-09-20T19:50:51Z”，“时间戳”：1537473051000}，“分数”：1，“资源”：{“主要”：“URL”：“http://\/arxiv.org\/abs\/1808.09361v1”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2018,8,24]]}，“references-count”：21，“URL”：“http://\/dx.doi.org\/10.4204\/eptcs.276.9”，“relationship”：{}，”ISSN“：[”2075-2180“]，”ISSN-type“：[{”value“：”2075~2180“，”type“:”electronic“}]，”subject“：[/]，”published“：{”date-part“：[2018,8,24]}}}