{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,2,18]]，“日期-时间”：“2023-02-18T00:51:49Z”，“时间戳”：1676681509194}，“参考-计数”：14，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“3”，“许可证”：[{“开始”：“日期-零件”：[[2009,3,4]]，“时间”：“2009-03-04T00:00:00Z”，“时间戳”用法：123612480000}，“content-version”：“unspecified”，“delay-in-days”：4659，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[[1996,6]}”，“abstract”：“”提出了一种多项式时间算法，用于确定所谓基本并行过程的互模拟等价性：由可交换并行合成算子组合的多组基本过程<\/jats:p>“，”DOI“：”10.1017\/s0960129500000992“，”type“：”journal-article“，”created“：{”date-parts“：[[2009,3,4]]，”date-time“：”2009-03-04T04:00:02Z“，”timestamp“：1236139202000}，”page“：前缀“：”10.1017“，”卷“：”6“，”作者“：[{”给定“：”约拉姆“，”家族“：”希什菲尔德“，”序列“：”第一“，”从属“：[]}，{”给出“：”马克“，”家庭“：”杰拉姆““：{”日期部分“：[[2009,3,4]]}，”引用“：[{”key“：”S0960129500000992_ref005“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/BFb0084788”}，{“key”：“S09601250000992_ref002”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/0304-3975（85）90088-X“}，“key“}，{”key“：”S0960129500000992_ref004“，”doi-asserted-by“：”publisher“，”DOI“：”10.1007\/3-540-57208-2_11“}，{”key“：”S096019500000992_ref014“，”first page“：“168”，”article-title“：”Concurrency and Automata on Infinite Sequences“，“volume”：“104”，“author”：“Park”，“year”：“1981”，“journal-title”：“Springer-Verlag计算机科学讲座笔记”}，“key”：”S0960129500000992_rf003“，：“第八届计算机科学逻辑研讨会论文集”，“作者”：“Christensen”，“年份”：“1993”}，{“key”：“S09601950000992_ref013”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/0304-3975（93）90176-T“}，”key“：”S09K129500000992_ref008“，”volume-title“：”理论计算机科学“，”author“：”Hirshfeld“，”year“：”1994“}S0960129500000992_ref006“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/0020-0190（92 b0049331“}，{”键“：”S096019500000992_ref010“，“首页”：“376”，“卷时间”：“第六届计算机科学逻辑研讨会论文集”，“作者”：“H\u00fcttel”，“年份”：“1991”}，{“key”：“S096012500000992_ref012”，“volume-title”：“通信与并发”，“author”：“Milner”，“year”：“1989”}“：”10.1016\/0304-3975（92）00078-6“}]，“容器-时间”：[“计算机科学中的数学结构”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S090129500000992”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“已存入”：｛“日期部分”：[[2019,5,12]]，“日期-时间”：“2019-05-12T17:19:24Z”，“时间戳”：1557681564000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/wwww.cambridge.org/core\/product\/inidentifier\/S09960129500000992\/type\/journal_article”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1996,6]]｝，“引用次数”：14，“期刊发行”用法：{“issue”：“3”，“published-print”：{”date-parts“：[[1996,6]]}}，”alternative-id“：[”S09601129500000992“]，”URL“：”http://\/dx.doi.org\/10.1017\/S0960129500000992”，“relation”：{}，“ISSN”：[”0960-1295“，”1469-8072“]，“ISSN-type”：[{“value”：“0960-1299”，“type”:“print”}，{“值”：“1469-8072”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[1996,6]]}}