{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,12,31]]，“日期-时间”：“2022-12-31T18:53:47Z”，“时间戳”：1672512827297}，“引用-计数”：9，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{:“日期-零件”：[[2010,9,1]]，”“日期-时刻”：“2010-09-01T00:00:00 0Z“，”时间戳“：1283299200000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：1062，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“日期部分”：[[2010,9]]}，”DOI“：”10.1016\/j.entcs.2010.08.002“，”type“：”journal-article“，”created“：{”date-parts“：[2010,9,4]]，”date-time“：”2010-09-04T11:15:21Z“，”timestamp“：1283598921000}，‘page’：”5-10“，”source“Crossref”，“is-referenced-by-count”：1，“title”：[“Robin Milner的并发工作”]，“prefix”：“10.1016”，“volume”：“265”，“author”：[｛“given”：“Samson”，“family”：“Abramsky”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“78”，“reference”：[｛“key”：“10.1016\/j.entcs.2010.008.002_br0010”，“doi asserted by”：“crossref”，“unstructured”：“Mifsud，A.，R.Milner and j。功率，控制结构，摘自：计算机科学中的逻辑专题讨论会（LiCS），IEEE计算机学会出版社出版，1995年，第188页10.1016\/j.entcs.2010.08.002_br0030“，“series-title”：“通信与并发”，“author”：“Milner”，“year”：“1989”}，{“key”：“10.1016\/j.ententcs.2010.08.002_br0040”，“series-title”：《1993年计算机科学数学基础》，“first page”：《105》，“article-title》：“Action calculi，or syntaxic Action structures”，“author”:“Milner“，”：“1993”}、{“key“：”10.1016\/j.entcs.2010.08.002_br0050“，”series-title“：”标准ML的定义：修订“，”author“：”Milner“，”year“：”1997“}，{“key”：“10.1016\/j.entcs.2010.002_br0060”，“series-ttle”：“通信和移动系统：u03c0-calculus”，“author”：“Milner”，“year”：“1999”}，”{“密钥”：“101016\/j.entc.2010.08.002_br r0070“，”series-title“：”The Space and Motion of Communicating Agents”，“author”：“Milner”，“year”：“2009”}，{“key”：“10.1016\/j.entcs.2010.08.002_br0080”，“doi-asserted-by”：“crossref”，“first page”：”1“，“doi”：“101016\/0890-5401（92）90008-4”，“article-title”：“A calculation of mobile process，I”，“volume”：“”信息与计算“}，{“key”：“10.1016\/j.entcs.2010.08.002_br0090”，“series-title”：“标准ML评论”，“author”：“Milner”，“year”：“1991”}]，“container-title”：[“理论计算机科学中的电子笔记”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000812？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000812？httpAccepte=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-application”：“text-mining”}]，“存放”：{“date-parts”：[[2018,12,8]]，“date-time“：”2018-12-08T07:24:38Z“，”timestamp“：1544253878000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066110000812“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2010,9]]}，《参考计数》：9，“alternative-id”：[“S1571066110000081”2“]，”URL“：”http:\/\/dx.doi.org\/10.1016\/j.entcs.2010.08.002“，”关系“：{}，”ISSN“：[”1571-0661“]，”ISSN-type“：[{”value“：”1571-661“，”type“:”print“}]，”主题“：[]，”发布“：{”date-parts“：[2010,9]]}}}}