｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,9,25]，“date-time”：“2022-09-25T04:58:49Z”，“timestamp”：1664081929929｝，“publisher location”：“Cham”，“reference count”：22，“publisher”：“Springer Nature Switzerland”，“isbn type”：[｛“value”：“9783031156281”，“type”：“print”｝，｛“value”：“9783031156298”，“类型”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3031-15629-8_7“，”type“：”book-capter“，”created“：{”date-part“：[2022,9,24]]，”日期时间“：”2022-09-24T16:26:53Z“，”时间戳“：1664036813000}，“页面”：“116-136”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，”title“：[”Better Automata Through Process Algebra“]，”prefix“：”10.1007“，”author“：[{”ORCID“：”http://\/ORCID.org\/00000-0002-4952-5380“，“authenticated-ORCID”：false，“给定”：“Rance”，“family”：“克利夫兰“，”序列“：“first”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[2022,9,7]]}，“reference”：[{“key”：“7_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：”Arden，D.N.：延迟逻辑和有限状态机。摘自：第二届开关电路理论和逻辑设计年度研讨会，第133\u2013151页。IEEE（1961）“，”DOI“：”10.1109\/FOCS.1961.13“}，{“key”：“7_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“Baeten，J.C.M.，Corradini，F.，Grabmayer，C.A.：双模拟下正则表达式的特征。J.ACM 54（2），6-es（2007）”，“DOI”：“10.1145\/1219092.1219094”}，“key“：”7_CR3“，”DOI-assert-by“：”publisher“，”first第“：”117“，”DOI“：”页10.1016\/0304-3975（86）90088-5“，“volume”：“48”，“author”：“G Berry”，“year”：“1986”，“unstructured”：“Berry，G.，Sethi，R.：从正则表达式到确定性自动机。西奥。计算。科学。48，117\u2013126（1986）“，“新闻标题”：“Theor。计算。科学。“}，{”issue“：“4”，”key“：“7_CR4”，“doi-asserted-by”：“publisher”，“first page”：“481”，“doi”：“10.1145\/321239.321249”，“volume”：”11“，”author“：”JA Brzozowski“，”year“：”1964“，”unstructured“：”Brzowski，J.A.：正则表达式的派生词。J.ACM 11（4），481\u2013494问题“：”1“，”key“：”7_CR5“，”doi-asserted-by“：”publisher“，”first page“：”36“，”DOI“：”10.1145 \/151646.151648“，”volume“：“15”，”author“：”R Cleaveland“，”year“：”1993“，”unstructured“：”Cleavelland，R.，Parrow，J.，Steffen，B.：并发工作台：用于验证并发系统的基于语义的工具。ACM事务处理。程序。语言系统。（TOPLAS）15（1），36\u201372（1993）“，“日记标题”：“ACM Trans。程序。语言系统。（TOPLAS）“}，{“key”：“7_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“Cleaveland，R.，Sims，S.T.：验证并发系统的通用工具。科学计算程序。42（1），39\u201347（2002）。计算机系统工程自动化专刊”，“doi”：“10.1016\/S0167-6423（01）00033-8”}，}“key”：《7_CR7》，“volume-title”：“用Nuprl证明开发系统实现数学”，“author”：“RL Constable”，“year”：“1986”，“unstructured”：“Constable，R.L.等人：用Nupr1证明开发系统实施数学。Prentice-Hall，Englewood Cliffs（1986）“}，{”key“：”7_CR8“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“199”，”doi“：”10.1007\/978-3642-36742-7_15“，”volume-title“：“系统构建和分析的工具和算法”，”author“：”S Cranen“，”year“：”2013“，”unstructured“：”Cranen，S.等人：mCRL2工具集及其最新进展概述。收录人：Piterman，N.，Smolka，S.A.（编辑）TACAS 2013。LNCS，第7795卷，第199\u2013213页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10007\/978-3642-36742-7_15“}，{“问题”：“2”，“密钥”：“7_CR9”，“doi-asserted-by”：“出版商”，“首页”：“89”，“doi”：“10.1007\/s10009-012-0244-z”，“卷”：“15”，“作者”：“H Garavel”，“年份”：“2013”，“非结构化”：“Garavel，H.，Lang，F.，Mateescu，R.，Serwe，W.：CADP 2011：分布式过程构建和分析的工具箱。国际期刊软件。技术工具。转账15（2），89\u2013107（2013）“，“日记标题”：“国际期刊Softw。技术工具。Transfer“}，{”key“：”7_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Grabmayer，C.：Milner\u2019s正则表达式模双相似性证明系统已完成。In：计算机科学中的逻辑专题讨论会（2022年，即将出版）“，”doi“：”10.1145 \/3531130.3532430“}”，{“key”：“7_CR11”，“series-title”：“计算机科学讲稿”，“doi-asserted-by“：”publisher“，”first page“：”423“，”doi“：”10.1007\/BFb0035774“，”volume-title“：”Automata，Languages and Programming“，”author“：”JF Groote“，”year“：”1989“，”unstructured“：”Groote，J.F.，Vaandrager，F.：结构化操作语义和作为同余的互模拟。收录人：Ausiello，G.、Dezani-Ciancaglini，M.、Della Rocca，S.R.（编辑）ICALP 1989。LNCS，第372卷，第423\u2013438页。斯普林格，海德堡（1989）。https:\/\/doi.org\/10.1007\/BFb0035774“}，{“key”：“7_CR12”，“unstructured”：“Rauch Henzinger，M.，Henziger，T.A.，Kopke，P.W.：有限和无限图的计算模拟。摘自：IEEE第36届计算机科学年度基础会议论文集，第453\u2013462页。IEEE（1995）“}，{“key”：“7_CR13”，“unstructured”：“Hopcroft，J.E.，Motwani，R.，Ullman，J.D.：《自动机理论、语言和计算导论》，第三版。Addison-Wesley Longman（2006）”}，“问题”：“1”，“key“：”7_CR14“doi-asserted-by“：”publisher“，“首页”：“43”，“doi”：“10.1016\/0890-5401（90）90025-D”，“卷”：“86”，“作者“：”PC Kanellakis“，”年”：“1990年”，“非结构化”：“Kanellakis，P.C.，Smolka，S.A.：CCS表达式，有限状态过程和三个等价问题。Inf.计算。86（1），43\u201368（1990）“，“新闻标题”：“信息计算。}，{“key”：“7_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Kleene，S.C.：神经网络和有限自动机中事件的表示。摘自：自动机研究，第3\u201341页。普林斯顿大学出版社（1956年）“，”DOI“：”10.1515\/9781400882618-002“}，{”key“：”7_CR16“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1007\/3-540-10235-3”，”volume-title“：“通信系统的微积分”，“年份”：“1980”，”unstructured“：”Milner，R.（ed.）：通信系统微积分。LNCS，第92卷。斯普林格，海德堡（1980）。https:\/\/doi.org\/10.1007\/3-540-10235-3“}，{“问题”：“3”，“密钥”：“7_CR17”，“doi-asserted-by”：“出版商”，“首页”：“439”，“doi”：“10.1016\/0022-0000（84）90023-0”，“卷”：“28”，“作者”：“R Milner”，“年份”：“1984”，“非结构化”：“Milner，R.：一类常规行为的完整推理系统。J.Compute.Syst.Sci.28（3），439\u2013466（1984）“，”journal-title“：《计算杂志》。系统。科学。“｝，｛”key“：”7_CR18“，”非结构化“：”Plotkin，G.D.：操作语义的结构化方法。技术报告，丹麦奥胡斯大学（1981）“｝，｛”key“：”7_CR19“，”doi断言“：”publisher“，”first page“：”3“，”doi“：”10.1016\/j.jrp.2004.03.009“，”volume“：”60“，”author“：”GD Plotkin“，”year“：”2004“，”非结构化“：”普洛金：结构操作语义学的起源。逻辑代数程序。60，3\u201315（2004）”，“期刊标题”：“J.逻辑代数程序。}，{“key”：“7_CR20”，“volume-title”：“计算理论导论”，“author”：“M Sipser”，“year”：“2013”，“unstructured”：“Sipser，M.：计算理论导言，第三版。Cengage Learning，Boston（2013）”，“edition”：“3”}，}“issue:”6“，”key“：”7_CR21“doi-asserted-by”：“publisher”，“first page”：”419“，“doi”：“10.1145\/363347.363387“，”卷：“11”，“作者”：“K汤普森”，“年份”：“1968”，“非结构化”：“汤普森，K。：编程技术：正则表达式搜索算法。Commun公司。ACM 11（6），419\u2013422（1968）“，“新闻标题”：“Commun。ACM“}，{“key”：“7_CR22”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”224“，“doi”：“10.1007\/3-540-17945-3_13”，“volume-title”：”PARLE Parallel Architectures and Languages Europe“，”author“：”R van Glabbeek“，”year“1987”，“unstructured”：“van Glabbeek，R.，Vaandrager，F.：并发代数理论的Petri网模型。收录人：de Bakker，J.W.，Nijman，A.J.，Trelevan，P.C.（编辑）PARLE 1987。LNCS，第259卷，第224\u2013242页。斯普林格，海德堡（1987）。https:\/\/doi.org\/10.1007\/3-540-17945-3_13“}]，“container-title”：[“计算机科学课堂讲稿”，“从过程代数经由时间自动机到模型学习的旅程”]，“original-title“：[]，”link“：[{”URL“：”https:\//link.springer.com\/content\/pdf\/10.10007\/978-3-031-15629-8_7“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,9,24]]，”date-time“：”2022-09-24T16:28:23Z“，”timestamp“：1664036903000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-15629-8_7”}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2022]]}，“ISBN”：[“9783031156281”，“9783031156298“]，”引用计数“：22，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-15629-8_7“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2022]]}，”断言“：[{”值“：”2022年9月7日“，”顺序“：1，”名称“：”first_online”，“label”：“first online”，“group”：｛“name”：“ChapterHistory”，“label”：“ChapterHistory”｝｝]｝｝