{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T14:12:13Z”，“时间戳”：1725459133128}，“出版商位置”：“柏林\/Heidelberg”，“引用计数”：17，“出版者”：“Springer-Verlag”，“isbn-type”：[{“类型”：”打印“，“值”：“3540123172”}]，“内容域”：{“域”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“DOI”：“10.1007\/bfb0036900”，“type”：“book-chapter”，“created”：{“date-parts”：[[2006,1,25]]，“date-time”：“2006-01-25T12:38:14Z”，“timestamp”：1138192694000}，《page》：“97-108”，“source”：“]，“prefix”：“10.1007”，“author”：[{“given”：“Stephen D.”，“family”：“Brookes”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“William C.”，“家族”：“Rounds”，“序列”：“additional”，“从属关系”：[]}]，“member”：“297”，“reference”：[}“key”：”8_CR1“，“unstructured”：”Brookes，S.D.，On the relationship of CCS and CSP，this volume。R2“，”非结构化“：“Brookes，S.D.，《通信顺序过程的模型》，牛津大学博士论文（1983年提交）。”}，{“key”：“8_CR3”，“unstructured”：“Campbell，R.，and Habermann，N.，The Specification of Process Synchronization by Path Expressions，Springer LNCS Vol.16.”}：“Golson，W.G.和Rounds，W.C.，两种并发理论之间的联系：度量空间和同步树，技术报告，密歇根大学计算研究实验室（1983年1月）”，“DOI”：“10.1016\/S0019-9958（83）80039-4”}，{“key”：“8_CR5”，“非结构化”：“Hoare，C.A.R.，通信顺序过程的模型，牛津大学编程研究小组技术报告PRG-22（1981）。”}，{“key”：“8_CR6”，“unstructured”：“Hoare，C.A.R.，Brookes，S.D.，and Roscoe，A.W.，《通信顺序过程理论》，牛津大学编程研究小组PRG-16技术报告（1981）。”}，{“key”：“8_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Harel，D.，Kozen，D.，and Parikh，R.，《过程逻辑：表达性、可决定性和完整性》，IEEE计算机科学基础研讨会论文集（1980）。”，“DOI”：“10.1109\/SFCS.1980.35”}，{“key”：“8_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“Hennessy，M.和Milner，R.，《关于观察不确定性和并发性》，第七届ICALP，Springer LNCS第85卷（1980年）。”，“DOI”：“10.1007\/3-540-10003-2_79”}，{“key”：“8_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“Keller，R.。并行程序的形式验证，CACM 19，第7卷（1976年7月）。”：“8_CR10”，“非结构化”：“Milner，R.，通信系统微积分，Springer LNCS第92卷。”}，{“key”：“8_CR11”，“unstructured”：“Ogden，W.F.，Private communication”}、{“key”：”8_CR12“，“非结构”：“Park，D.M.R.，Concurrency and Automata on Infinite Sequences，Warwick大学计算机科学系。”，“doi-asserted-by”：“crossref”，“unstructured”：“Pnueli，A.，程序的时间逻辑，IEEE计算机科学基础研讨会论文集（1977年）。”，“doi”：“10.1109\/SFCS.1977.32”}，{“key”：“8_CR14”，“doi-asserted-by”：“”：“Rabin，M.O.和Scott，D.S.，《有限自动机及其决策问题》，IBM J.Res.3:2（1959）。”，“日志标题”：“IBM J.Res.”}，{“key”：“8_CR15”，“unstructured”：“Roscoe，A.W.，《通信过程的数学理论》，牛津大学博士论文（1982）。”}：“Rounds，W.C.，and Brookes，S.D.，Possible Futures，Acceptances，Refusals，and Communicating Processes，Proc.22nd IEEE Symposium on Foundations of Computer Science（1981年10月）。”，“DOI”：“10.1109\/SFCS.1981.36”}，{“key”：“8_CR17”，“DOI-asserted-by”：“crossref”，“unstructured”：“Wolper，P.，《时态逻辑可以更具表现力》，第22届IEEE计算机科学基础研讨会论文集。”，“DOI”：“10.1109\/SFCS.1981.44”}]，“container-title”：[“计算机科学讲义”，“自动机、语言和编程”]，“原文标题”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BFb0036900.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,12,9]]，“date-time”：”2020-12-09T17:21:28Z“timestamp”：1607534488000}，“score”：1，“resource”：{-“primary”：{“URL”：“http://\/link.springer.com/10.1007\/BFb0036900”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[null]]}，”ISBN“：[”3540123172“]，”references-count“：17，”URL“：”http://\/dx.doi.org\/10.10007\/BFb0036900“，”关系“：{}，‘主题’：[]}