{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T23:16:53Z”，“时间戳”：1725664613845}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540602224“}，{”类型“：“electronic”，“value”：“9783540447542”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1995]]}，”DOI“：”10.1007\/3-540-60222-4_95“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T12:54:45Z“，”timestamp“：1330260885000}，”page“：”36-50“，”source“：“Crossref”，“被计数引用”：8，“title”：[“真正并发属性的高效验证器”]，“prefix”：“10.1007”，“author”：[｛”给定“：“Alessandro”，“family”：“Bianchi”，“sequence”：“first”，“affiliation”：[]｝，｛”给定“：“Stefano”，“family”：“Coluccini”，“sequence”：“additional”，“affiliation”：[]｝，｛”给定“：“Pierpaolo”，“family”：“Degano”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Corrado”，“family”：“Priami”，“sequence”：“additive”，“abfiliation“：[]2]，“member”：“297”，“published-online”：{“date-parts”：[[2005,6,3]]}FI-1988-11406“，“卷”：“XI”，“作者”：“G.Boudol”，“年份”：“1988”，“非结构化”：“G.Boudol和I.Castellani。基于已证明的转换的CCS非交互语义。基础信息学，XI（4）：433\u20134521988。”，“日记标题”：“基础信息学”}，{“key”：“5_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“G.Boudo，I.Castlelani，M.Hennessy，and A。基恩。关于局部过程的理论。《1992年CONCUR会议记录》，LNCS 630，第108页\u2013122。Springer-Verlag，1992.“，”DOI“：”10.1007\/BFb0084786“}，{“key”：“5_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“R.Cleaveland，J.Parrow，and B.Steffen。并发工作台：用于验证并发系统的基于语义的工具。《编程语言和系统的ACM事务》，第36\u201372页，1993年。”，“DOI”：“10.1145\/151646.151648“}，{“key”：“5_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Clegg和A.Valmari.简化标记转换系统节省了验证工作量。《CONCUR’91会议录》，LNCS 527。Springer-Verlag，1991年。“，“DOI”：“10.1007\/3-540-54430-5_111”}，{“key”：“5_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ph.Darondeau和P.Degano。因果树。ICALF’89会议录，LNCS 372，第234\u2013248页。Springer-Verlag，1989.“，”DOI“：”10.1007\/BFb0035764“}，{”volume-title“：”技术报告111“，”year“：”1989“，”author“：”R.Simone de“，”key“：”5_CR6“，”unstructured“：”R.de Simone and D.Vergamini.Aboard AUTO.技术报告111，INRIA Sophia-Antipolis，1989。“}”，{“key”：“5_CR7”，“DOI-asserted-by”：“crossref”，“unstructure”：“P.Degano，R.de Nicola，和美国。蒙塔纳里。CCS的偏序推导。《FCT会议录》，LNCS 199，第520\u2013533页。Springer-Verlag，1985.“，”DOI“：”10.1007\/BFb0028836“}，{“key”：“5_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.Degano和C.Priami。证明树。《ICALP’92会议录》，LNCS 623，第629\u2013640页。Springer Verlag，1992.”，“DOI”：“10.1007\/3-540-55519-9_110”}，｛“key”：“5_CR9”，“nonstructured”：“P.Degano和C.Priami。有限状态过程的紧凑表示。技术报告LOMAPSDPISA2，LOAPS项目，1993.”｝，｛“key”：“5_CR10”，“DOI asserted by”：“crossref”，“nonstructured”：“P.Degano和C。普里亚米。移动流程的因果关系。1995年ICALP会议记录，LNCS。Springer-Verlag，1995年。出现。“，”DOI“：”10.1007\/3-540-60084-1_113“}，{”key“：”5_CR11“，”DOI-asserted-by“：”crossref“，”unstructured“：”P.Godefroid和P.Wolper。使用偏序有效验证死锁自由和安全属性。《CAV’91会议录》，LNCS 575，第332\u2013342页。Springer-Verlag，1991.“，”DOI“：”10.1007\/3-540-55179-4_32“}，{”volume-title“：”技术报告“，”年份“：”1989“，”作者“：”J.C.Godskesen“，”key“：”5_CR12“，”unstructured“：”JC.Godskeson，K.G.Larsen，and M.Zeeberg.TAV用户手册。技术报告，丹麦奥尔堡大学中心，1989。“}”，{“key”：“5_CR13”，”DOI-asserted-by“：”crossref“非结构化“：”C.A.R.Hoare。通信顺序过程。Prentice-Hall，1985.“，”DOI“：”10.1007\/978-3642-82921-5_4“}，{”issue“：”6“，”key“：”5_CR14“，”DOI-asserted-by“：”crossref“，”first-page“：”676“，“DOI”：“10.1007\/BF03259392”，“volume”：“6”，“author”：“P.Inverdi”，“year”：“1994”，“unstructured”：”P.Inveradi，C.Priami，and D。扬克列维奇。分布式并发系统参数推理自动化。计算的形式方面，6（6）：676\u20136951994。“，“journal-title”：“计算的形式”}，{“key”：“5_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“P.C.Kanellakis and S.C。斯莫尔卡。CCS表达式、有限状态过程和三个等价问题。第二届美国计算机学会分布式计算原理研讨会论文集，1983年。文档和用户手册。，1992.“}，{“volume-title”：“Communication and Concurrency”，“year”：“1989”，“author”：“R.Milner”，“key”：“5_CR18”，“unstructured”：“R.Milner。Communication和Concurrence。Prentice-Hall，London，1989。”}，}“issue”：“6”，“密钥”：“5-CR19”，“doi-asserted-by”：“crossref”，“first page”：”973“，“doi”：“10.1137\/0216062”，“volume”：“R.Paige”，“年份”：“1987”，“非结构化“：”R.Paige和R.Tarjan。三种分区细化算法。SIAM计算机杂志，16（6）：973\u20139891987.“，”Journal-title“：”SIAM计算机期刊“}，{“key”：“5_CR20”，“doi-asserted-by”：“crossref”，“unstructured”：“D.Park.无限序列上的并发与自动机。《GI学报》，LNCS 104，第167\u2013183页。Springer-Verlag，1981.“，”DOI“：”10.1007\/BFb0017309“}，{“key”：“5_CR21”，“DOI-asserted-by”：“crossref”，“unstructured”：“D.Peled.All from one，one from All：On model checking using representatives.In Proceedings of CAV'93，LNCS 697，pages 409\u2013423。Springer-Verlag，1993.“，”DOI“：”10.1007\/3-540-56922-7_34“}，{“key”：“5_CR22”，“DOI-asserted-by”：“crossref”，“unstructured”：“C.Priami和D.Yankelevich。读写因果关系。《94年MFCS会议录》，LNCS 841，第567\u2013576页。Springer-Verlag，1994.“，“DOI”：“10.1007\/3-540-58338-6_103”}，{“key”：“5_CR23”，“unstructured”：“A.Valmari和M.Tienari.使用约简算法改进有限状态系统的失效等价性。《IFIP WG6.1协议规范、测试和验证会议录》，斯德哥尔摩，1991年6月。”}]，“container-title”：[“计算机科学课堂讲稿”，“并行计算技术”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-60222-4_95.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,12,31]]，“date-time”：2021-12-31T04:32:46Z“，”timestamp“：1640925166000}，”score“：1，”resource“：{”primary“：{”URL“：”http://\/link.springer.com/10.1007\/3-540-60222-4_95“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1995]]}，《ISBN》：[“9783540602224”，“9783547542”]，“references-count”：23，“URL”：“”http://\/dx.doi.org\/10.1007\/3-540-60222-4_95“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[｛”type“：”print“，”value“：”0302-9743“｝，｛”type“：”electronic“，”value“：”1611-3349“｝]，”subject“：[]，”published“：｛”date parts“：[[1995]]｝｝｝