{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:52:33Z”，“时间戳”：1725558753094}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783646 2139611“}，{”类型“：“electronic”，“value”：“9783642139628”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2010]]}，”DOI“：”10.1007\/978-3642-13962-8_9“，”type“：”book-capter“，”created“：”{“date-part”：[2010,6]]，“date-time”：“2010-06-26T08:”33:57Z“，”时间戳“：1277541237000}，”页面“：”78-87“，“source”：“Crossref”，“is-referenced-by-count”：21，“title”：[“Processes in Space”]，“prefix”：“10.1007”，”author“：[{”given“：”Luca“，”family“：”Cardelli“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Philippa“，”家族“Gardner”，“sequence”：“additional”，“affiliance”：[]{“member”：“297”，“reference”：[{”key“：“9_CR1”，“非结构化”：“Berry，G.，Boudol，G.：The Chemical Abstract Machine.In:Proc.POPL 1989，pp.81\u201394（1989）”}，{“key”：“9_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Cardelli，L.，Gordon，A.D.：Mobile Ambients.In:Le M\u00e9tayer，D.（ed.）理论计算机科学，协调专刊，vol.\u00a0240（1），pp.177\u2013213（2000年6月）”，“doi”：“10.1016\/S0304-3975（99）00231-5”}，{“volume-title”：“几何学概论”，“year”：“1961”，“author”：“H.S.M.Coxeter”，“key”：“9_CR3”，“unstructured”：“Coxeter，H.S.M.:Introduction to geometry。Wiley，Chichester（1961）”}“内政部”：“10.1007\/BFb0055107”，“volume-title”：“自动机、语言和编程”，“作者”：“C.Fornet”，“年份”：“1998”，“非结构化”：“Fornet，C.，Gonthier，G.：异步计算的等价层次。In:Larsen，K.G.，Skyum，S.，Winskel，G.（编辑）ICALP 1998。LNCS，第u00a01443卷，第844\u2013855页。Springer，Heidelberg（1998）“}，{”key“：”9_CR5“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-1-4613-0137-0“，“volume-title”：“计算机科学与工程的几何方法与应用”，“author”：“J.Gallier”，“year”：“2001”，“unstructured”：“Gallier，J.：计算机科学与工程学的几何方法和应用”。Springer，Heidelberg（2001）“}，{“key”：“9_CR6”，“doi断言者”：“crossref”，“doi”：“10.1017\/CBO9780511611063”，“卷标题”：“分布式圆周率微积分”，“作者”：“M.Hennessy”，“年份”：“2007”，“非结构化”：“Hennessy，M.:分布式圆周率微积分。剑桥大学出版社，剑桥（2007）”}，{“issue”：“2”，“key”：“9_CR7”，“doi断言者”：“publisher“，”first page“：”437“，”DOI“：”10.1016\/0304-3975（95）00074-7“，“volume”：“152”，“author”：“K.本田”，“year”：“1995”，“unstructured”：“Honda，K.，Yoshida，N.：论基于约简的过程语义。理论计算机科学\u00a0152（2），437\u2013486（1995）“，”杂志标题：“理论计算机科学”}，{“问题”：“3”，“关键”：“9_CR8”，“doi-asserted-by”：“出版商”，“首页”：“133”，“doi”：“10.1016\/j.entcs.2007.12.010”，“卷”：“194”，”作者：“M.John”，年：“2008”，“非结构化”：“John，M.，Ewald，R.，Uhrmacher，A.M.：\u03c0微积分的空间扩展。理论计算机科学电子笔记\u00a0194（3），133\u2013148（2008）“，“日记标题”：“理论计算机科学中的电子笔记”}，{“key”：“9_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Metzger，R.J.，Klein，O.D.，Martin，G.R.，Krasnow，M.A.：小鼠肺发育的分支程序。Nature \u00a 0453（5）（2008年6月）“，”DOI“：”10.1038\/nature07005“}，{“volume-title”：“通信和移动系统：The \u03c0-Calculus”，“year”：“1999”，“author”：“R.Milner”，“key”：“9_CR10”，“unstructured”：“Milner，R.：通信和移动体系：The \u 03c0-Calculus.Cambridge University Press，Cambridges（1999）”}，}“key“：”9_CR11“，“series-title”：”《计算机科学讲义》，“doi断言者”：“crossref”，“第一页”：“685”，“doi”：“10.1007\/3-540-557119-9_114”，“卷标题”：“自动机、语言和编程”，“作者”：“R.Milner”，“年份”：“1992”，“非结构化”：“Milner，R.，Sangiorgi，D.：Barbed Bisimulation”。收录：Kuich，W.（编辑）ICALP 1992。LNCS，第u00a0623卷，第685\u2013695页。Springer，Heidelberg（1992）“}，{“volume-title”：“植物的算法之美”，“year”：“1991”，“author”：“P.Prusinkiewicz”，“key”：“9_CR12”，“unstructured”：“Prusingiewicz，P.，Lindenmayer，A.：植物的算法美。Springer和Heidelbrg（1991）”}]，“container-title“：[计算机科学讲义]，“程序，证明，过程”]，“original-title“：[]，”link“：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-13962-8_9.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“date-parts”：[2021,4,30]]，“日期时间”：“2021-04-30T08:16:57Z”，“时间戳”：1619770617000}，“score”“：1，”资源“：{”主“：{”URL“：”http://\/link.springer.com/10.1007\/978-3642-13962-8_9“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2010]]}，“ISBN”：[“9783642139611”，“978364 2139628”]，“references-count”：12，“URL”：“http://\/dx.doi.org\/10.10007\/978-3642-19962-8_9”，“relation”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“键入“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2010]]}}