{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,1,9]]，“日期-时间”：“2023-01-09T13:56:11Z”，“时间戳”：1673272571979}，“参考-计数”：14，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{“日期-零件”：[2012,5,1]]，”日期-时间“：“2012-05-01T00:00:00Z”，“timestamp”：133583040000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2016,5,4]]，“date-time”：“2016-05-04T00:00:00Z”，“timestamp”：1462320000000}，“content-version”：“vor”，“delay-in-days”：1464 \/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学”]，“published-print”：{“date-parts”：[[2012,5]]}，”DOI“：”10.1016\/j.tcs.2011.12.051“，”type“：”journal-article“，”created“：{”date-part“：[2012,1,30]]，”date-time“：”2012-01-30T21:41:59Z“，”timestamp“：1327959719000}，交叉参考“，“is-referenced-by-count”：7，“title”：[“空间中的进程”]，“prefix”：“10.1016”，“volume”：“431”，“author”：[{“给定”：“Luca”，“family”：“Cardelli”，“sequence”：“first”，“affiliation”：[]}，{“已知”：“Philippa”，“家族”：“Gardner”，“序列”：“additional”，“从属关系”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/j.tcs.2011.12.051_br000005“，”doi-asserted-by“：“crossref”，“unstructured”：“G.Berry，G.Boudol，The chemical abstract machine，in：Proc.POPL\u201989，pp.81\u201394.”，“DOI”：“10.1145\/96709.96717”}，{“key”：“101016\/j.tcs.2011.12.051_br000010”，”DOI-asserted-by“：”crossreff“，”unstructure“：”L.Cardelli，P.Gardner，《空间过程》，in:Proc.CiE\u201910.“，”DOI“：”10.1007\/97 8-3-642-13962-8_9“}，｛“key”：“10.1016\/j.tcs.2011.12.051br000015”，“系列标题”：“理论计算机科学，协调特刊，第240\/1卷”，“首页”：“177”，“文章标题”：“移动环境”，“作者”：“Cardelli”，“年份”：“2000”｝，｛“key”：“10.1016\/j.tcs.2011.12.051br000020”，“系列标题”：“几何导论”，“作者”：“Coxeter”，“年份”：“1961”｝，｛“key”：“10.1016\/j.tcs.2011.12.051_br000025”，“series-title”：“Proc.25th ICALP”，“first page”：“844”，“article-title”：《异步演算的等价层次》，“volume”：《第1443卷》，“author”：“Fornet”，“year”：“1998”}，{“key”：”10.1016\/j.tc.2011.12.051 _br000030“，“series-title“：“计算机科学与工程的几何方法与应用”，“author”：“Gallier”，“year”：“2001”}，{“key”：“10.1016\/j.tcs.201.12.051_br000035”，“series-title”：“A Distributed Pi-Calculus”，“author”:“Hennessy”，“年份”：“2007”}“，”doi“：“10.1016\/0304-3975（95）00074-7”，“article-title”：“On Reduction-Based Process Semantics”，“volume”：“152”，”author“：”Honda“，”year“：”1995“，”journal-title“：”Theory Computer Science“}，{“issue”：“3”，“key”：”10.1016\/j.tcs.201.12.051_br000045“，”doi-asserted-by“：”crossref“，2.010英寸，“article-title”：“对\u03c0微积分的空间扩展”，“卷”：“194”，“作者”：“约翰”，“年份”：“2008”，“日记标题”：“理论计算机科学电子笔记”}，{“问题”：“5”，“关键”：“10.1016\/j.tcs.2011.12.051_br000050”，“文章标题”：《小鼠肺发育的分支程序》，“卷“：”453“作者”，“Metzger”，“年”：“08”，“日志标题”：“Nature”}，{“key”：“10.1016\/j.tcs.2011.12.051_br000055”，“series-title”：“通信和移动系统：pi-Calculus”，“author”：“Milner”，“year”：“1999”}、{“key”：”10.1016\/j.tc.2011.12.051 _br000060“，”series-ttle“：”Proc.19-自动化、语言和编程国际学术讨论会（ICALP\u201992）“，”article-title“：“Barbed bisimulation”，“卷”：“623”，“作者”：“Milner”，“年份”：“1992”}，{“key”：“10.1016\/j.tcs.201.12.051_br000065”，“series-title”：“植物的算法之美”，“author”：“Prusinkiewicz”，“year”：“1991”}；网址：http://www.owlnet.rice.edu\/~fjones\/chap7.pdf）。“}]，”container-title“：[”Theoryal Computer Science“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S03043975110176？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/api.elsevier.com/content\/article\/PII:S0304397511010176？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2018,11,26]]，“date-time”：“2018-11-26T19:28:37Z”，“timestamp”：1543260517000}，“score”：1，“resource”：{primary“：{”URL“：”https://linkinghub.elsevier.com\/retrieve\/pii\/S0304 397511010176“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2012,5]]}，”references-count“：14，”alternative-id“：[”S0304397511010176“]，”URL“：”http://\/dx.doi.org\/101016\/j.tcs.2011.12.051“，”relational“：{}，“ISSN”：[”0304-3975“]，“ISSN-type”：[{“value”：“0304-975”，“type”:“print”}]，“subject”：【】，“已发布”：{“日期部分”：[[2012,5]]}}}