{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T21:55:56Z”，“时间戳”：1648850156678}，“出版商位置”：“柏林，海德堡”，“参考计数”：10，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540108566”，“类型”：“打印”}，{“值”：“9783540387695”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1981]}，”DOI“：”10.1007\/3-540-10856-4_83“，”type“：”book-capter“，”created“：”{“date-part”：[2012,25]]，“date-time”：“2012-02-25T17:31:57Z“，”timestamp“：1330191117000}，”page“：”172-182“，”source“：“Crossref”，“is-referenced-by-count”：5，“title”：[“通过翻译成CCS的CSP语义”]，“prefix”：“10.1007”，”author“：[{“given”：“Egidio”，“family”：“Astesiano”，”sequence“：“first”，“affiliation”：[]}，{“给定”：“Elena”，“家族”：“Zucca”，“sequence”：“additional”，“从属”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”“：[[2005,6,3]]}，”参考“：[｛“key”：“14_CR1”，“unstructured”：“Astesiano E.和Zucca E.，CSP翻译的语义及其与B语义的等价性。作为热那亚（意大利）数学研究所的Rapporto Scientifico出现，1981年。”｝，｛“key”：“14_CR2”，“doi asserted by”：“crossref”，“unstructured”：“Astesiano E.和Zucca E.，通过翻译成CCS的DP语义，可作为数学研究所的Rapporto Scientifico查阅，Genova（意大利），1981年4月，提交出版。”，“DOI”：“10.1007\/3-540-10856-4_83”}，{“key”：“14_CR3”，“first page”：：“Francez N.，Hoare C.A.R.，Lehmann D.J.和deRoever W.P.，非决定论、并发和通信的语义，JCSS，19,31979.”，“日志标题”：“JCSS”}，{“键”：“14_CR4”，“首页”：“280”，“卷”：“107”，“作者”：“N.Francez”，“年份”：“1981”，“非结构化”：“Francez N.，Rodeh M.和Sintzoff M.，带区间断言的分布式终止，ICFPC会议记录，LNCS，107，pg.280\u20132911981.”，“日记标题”：“ICFPC会记录”}，{“key”：“14_CR5”，“首页”：“8”，“volume”：：“21”，“author”：“C.A.R.Hoare”，“year”：“1978”，“unstructured”：“Hoare C.A.R.，Communicating Sequential Processes，Comm.ACM，21,81978.”，“journal-title”：“Comm.ACM”}，{“key”：“14_CR6”，“volume-title“：“首次尝试将CSP转换为CCS”，“author”：“M.Hennessy”，“year”：“1981”，“unstructured”：“Hennessy M.，Li W.和Plotkin G.，将CSP转换为CCS的首次尝试，第二届分布式计算系统国际会议论文集，IEEE Comp.Society Press，Maryland，1981.”}，{“key”：“14_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Hennessy M.和Plotkin G.，CCS术语模型，Proc.MFCS 80，LNCS 88，Springer Verlag，1980。”，“DOI”：“10.1007\/BFb0022510”}，{“key”：“14_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“Milner R.，A Calculus of Communicating Systems，LNCS92，Springer-Velag，1980。y“：”交叉参考“，“首页”：“2”，“DOI”：“10.1145\/322123.322134”，“卷”：“26”，“作者”：“G.Milne”，“年份”：“1979”，“非结构化”：“Milne G.和Milner R.，并发进程及其语法，JACM，26,21979.”，“日志标题”：“JACM”}，{“key”：“14_CR10”，“DOI-asserted-by”：“crossref”，《首页》：“4”，“DI:”10.1145\/232154.322167“，”volume“：”26“，”作者“：”R.Milner“，“year”：“1979”，“unstructured”：“Milner R.，Flowgraphs and flow algebras，JACM，26，41979.”，“journal-title”：“JACM”}]，“container-title“：[”计算机科学讲义“，”1981年数学基础“]，“original-tittle”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.10007\/3-540-10856-4_83.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,11,17]]，“date-time”：“2020-11-17T20:04:05Z”，“timestamp”：1605643445000}，“score”：1，“resource”：{“primary”：{URL：“http://link.springer.com/10.1007\/3-540-10856-4_83”}}，”subtittle“[]，”short title“：[]，”issued“：{”date-parts“：[[1981]]}，“ISBN”：[“9783540108566”，“9783540387695”]，“references-count”：10，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-10856-4_83”，“relation”：{}，“ISSN”：【“0302-9743”，“1611-3349”]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：“1611-349”，“type”：“electronic”}]，“主题”：[]，“已发布”：{“日期部分”：[[1981]}}