｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2023,8,30]]，“date-time”：“2023-08-30T08:02:28Z”，“timestamp”：1693382548730｝，“publisher location”：“Cham”，“reference count”：20，“publisher”：“Springer International Publishing”，“isbn type”：[｛“value”：“9783319620749”，“type”：“print”｝，｛“value”：“9783319620756”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2017,1,1]]，“date-time”：“2017-01-01T00:00:00Z”，“timestamp”：14832288000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]“：[]，”published-print“：{”date-parts“：[2017年]]}，“DOI”：“10.1007\/978-3-319-62075-6_17”，“type”：“book-chapter”，“created”：{“date-parts”：[[2017,6,27]]，“date-time”：“2017-06-27T14:58:50Z”，“timestamp”：1498575530000}，“page”：”239-254“source”：{“ORCID”：“http://\/orcid.org\/00000-0002-5918-9114”，“authenticated-orcid”：false，“given”：“Juliana”，“family”：“Bowles”，“sequence”：“first”，“affiliation”：[]}，{“orcid”：297“，”在线发布“：{“date-parts”：[[2017,6,28]]}，“reference”：[{“issue”：“2”，“key”：“17_CR1”，“doi-asserted-by”：“crossref”，”first page“：”131“，”doi“：”10.1137\/021008“，”volume“：“1”，”author“：”AV-Aho“，“year”：“1972”，“unstructured”：“Aho，A.V.，Garey，M.R.，Ullman，J.D.：有向图的传递约简。SIAM J.Compute.1（2），131\u2013137（1972）“，“新闻标题”：“SIAM J.Compute.”}，{“issue”：“1”，“key”：“17_CR2”，“doi-asserted-by”：“crossref”，“first page”：”9“，“doi”：“10.1016\/0304-3975（94）90065-5”，“volume”：：“123”，“author”：“MR Assous”，“year”：“1994”，“unstructured”：“Assous，M.R.，et al.：事件结构中的有限标记问题。Theor.Compute.Sci.123（1），9\u201319（1994）”，“新闻标题”：“Theor.Comput.Sci.”}，{“issue”：“1”，“key”：“17_CR3”，“doi-asserted-by”：“crossref”，“first page”：”1“，“doi”：“10.1006\/inco.2001.3060”，“volume”：《171》，“author”：“P Baldan”，“year”：“2001”，“unstructured”：“Baldan，P.，Corradini，A.，Montanari，U.：上下文Petri网，非对称事件结构和过程。Inf.Comput.171（1），1\u201349（2001）”，“journal al-title“：”信息计算“}，{“key”：“17_CR4”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《189》，“doi”：“10.1007\/11784180_16”，“volume-title”：《代数方法与软件技术》，“author”：“JKF Bowles”，“year”：“2006”，“unstructured”：“Bowles，J.K.F.：分解交互。发表于：Johnson，M.，Vene，V.（eds.）AMAST 2006。LNCS，第4019卷，第189\u2013203页。斯普林格，海德堡（2006）。doi:10.1007\/11784180_16“}，{“key”：“17_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Bowles，J.K.F.，Camina，M.B.：留心差距：用形式方法解决行为不一致问题。收录于：2016年第23届亚太软件工程会议（APSEC）。IEEE Computer Society（2016）”，“doi”：“10.1109\/APSEC.2016.051”}series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“295”，“doi”：“10.1007\/11817949_20”，“volume-title”：“CONCUR 2006\u2013并发理论”，“author”：“R Bruni”，“year”：“2006”，“unstructured”：“Bruni，R.，Melgratti，H.，Montanari，U.：标称计算的事件结构语义。收录：Baier，C.，Hermanns，H.（编辑）CONCUR 2006。LNCS，第4137卷，第295\u2013309页。斯普林格，海德堡（2006）。doi:10.1007\/11817949_20“}，{“key”：“17_CR7”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”158“，“doi”：“10.1007\/978-3642-14128-7_15”，“volume-title”：《智能计算机数学》，“author”：“F Butelle”，“year”：“2010”，“unstructured”：“Butelle，F.、Hivert，F.，Mayero，M.、Toumazet，F.：SCHUR共轭函数的形式证明。在：Autexier，S.，Calmet，J.，Delahaye，D.，Ion，P.D.F.，Rideau，L.，Rioboo，R.，Sexton，A.P.（编辑）CICM 2010。LNCS，第6167卷，第158\u2013171页。施普林格，海德堡（2010）。doi:10.1007\/978-3642-14128-7_15“}，{“key”：“17_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Camina，M.B.，et al.：健全拍卖规范与实施。摘自：《第十六届ACM经济与计算会议论文集》，第547\u2013564页。ACM（2015）“，“DOI”：“10.1145\/2764468.2764511”}，{“key”：“17_CR9”，“unstructured”：“Costa-Gomes，M.等人：选择、延迟和一致性。讨论论文系列，经济系201416。圣安德鲁斯大学经济系（2014）“}，{“键”：“17_CR10”，“系列标题”：“计算机科学讲义”，“doi断言者”：“出版商”，“首页”：“1”，“doi”：“10.1007\/978-3-642-22673-1_1”，“卷标题”：“智能计算机数学”，“作者”：“Distler”，“年份”：“2011”，“非结构化”：“Distler，A.、Shah，M.、Sorge，V.：AG-群的枚举。收件人：Davenport，J.H.，Farmer，W.M.，Urban，J.，Rabe，F.（编辑）CICM 2011。LNCS，第6824卷，第1\u201314页。斯普林格，海德堡（2011）。doi:10.1007\/978-3-642-22673-1_1“}，{“key”：“17_CR11”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”109“，“doi”：“10.1007\/978-3319-21215-9_7”，“volume-title”：”Tests and Proofs“，”author“：”R Genestier“，”year“2015”，“unstructured”：“Genestier，R.、Giorgetti，A.、Petiot，G.：结构化阵列的顺序生成及其演绎验证。收录：Blanchette，J.C.，Kosmatov，N.（编辑）TAP 2015。LNCS，第9154卷，第109\u2013128页。查姆施普林格（2015）。doi:10.1007\/978-3-319-21215-9_7“}，{“issue”：“1”，“key”：“17_CR12”，“doi-asserted-by”：“crossref”，“first-pages”：“43”，“doi”：“10.3233\/FI-2011-392”，《volume》：“107”，“author”：“F Kamm\u00fcller”，“year”：“2011”，“unstructured”：“Kamm\u 00fcler，F.：有限幂等关系的力学分析。基础信息学107（1），43\u 2013 65（2011）“，”journal-title“：”Fundamental Informaticae“}，{”key“：”17_CR13“，”doi-asserted-by“：”crossref“，”first page“：“205”，”doi“：”10.1090\/S0002-9947-1975-03690-9“，“volume”：“205”，“author”：“DJ Kleitman”，“year”：“1975”，“unstructured”：“Kleit曼，D.J.，罗斯柴尔德，B.L.：有限集上偏序的渐近枚举。Trans.Am。数学。Soc.205，205\u2013220（1975）“，”期刊标题“：”翻译。美国数学。Soc.“}，{”key“：”17_CR14“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“310”，“doi”：“10.1007\/978-3642-03359-9_22”，“volume-title”：“高阶逻辑中的定理证明”，“author”：“A Lochbihler”，“year”：“2009”，“unstructured”：“Lochbihler，A.：形式化finfuns\u2013生成函数代码作为Isabelle HOL的数据。收录：Berghofer，S.、Nipkow，T.、Urban，C.、Wenzel，M.（编辑）TPHOLs 2009。LNCS，第5674卷，第310\u2013326页。施普林格，海德堡（2009）。doi:10.1007\/978-3642-03359-9_22“}，{“issue”：“2”，“key”：“17_CR15”，“first page”：”3“，”volume“：”7“，”author“：”G Pfeiffer“，”year“：”2004“，”unstructured“：”Pfeifffer，G.：计算传递关系。J.Integer Sequences 7（2），3（2004）“，”journal-title“：”J.Intiger Sequence“卷“：”41“，”作者“：”N Sloane“，”年份“：”2013年，“非结构化”：“Sloane，N.：整数序列在线百科全书。安。数学。Informaticae 41，219\u2013234（2013）“，”杂志标题“：”数学年鉴。Informaticae“}，{”key“：”17_CR17“，”doi-asserted-by“：”crossref“，”first page“：“85”，”doi“：”10.1016\/S0024-3795（03）00371-9“，“volume”：“370”，“author”：“A Vera-L\u00f3pez”，“year”：“2003”，“unstructured”：“Vera-L\f3pez，A.，Arregi，J.：酉三角矩阵中的共轭类。线性代数应用。370，85\u2013 124（2003）“，“新闻标题”：”线性代数应用。“}，{”key“：”17_CR18“，”first-page“：”1“，”volume-title“：”计算机科学逻辑手册：语义建模“，”author“：”G Winskel“，”year“：”1995“，”unstructured“：”Winskel，G.，Nielsen，M.：并发模型。in:Abramsky，S.，Gabbay，D.M.，Maibaum，T.S.E.（eds.）《计算机科学逻辑手册：语义建模》，第4卷，第1\u2013148页。牛津大学出版社，牛津（1995）“}，{”key“：”17_CR19“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“325”，”doi“：”10.1007\/3-540-17906-2_31“，”volume-title“：“Petri网：与其他并发模型的应用和关系”，“author”：“G Winskel”，“year”：“1987”，“unstructured”：“Winskel，G.：事件结构。收录：Brauer，W.、Reisig，W.和Rozenberg，G.（编辑）ACPN 1986。LNCS，第255卷，第325\u2013392页。斯普林格，海德堡（1987）。doi:10.1007\/3-540-17906-2_31“}，{“问题”：“1”，“关键”：“17_CR20”，“doi-asserted-by”：“crossref”，“首页”：“42”，“doi”：“10.1093\/comjnl/bxp052”，“卷”：“54”，“作者”：“G Winskel”，“年份”：“2011”，“非结构化”：“Winskel，G.：事件、因果关系和对称性。计算杂志54（1），42\u201357（2011）。https:\/\/doi.org \/10.1093 \/comjnl \/bxp052“，”日志标题“：”计算。J.“}”，“container-title”：[“计算机科学课堂讲稿”，“智能计算机数学”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-62075-6_17”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”：[2020,10,10]]，“date-time“：”2020-10-10T23:55:48Z“，”timestamp“：1602374148000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-319-62075-6_17”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[2017年]}，《ISBN》：[“9783319620749”，“9783320756”]，“references-count”：20，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-319-62075-6_17”，“关系“：{}，”ISSN“：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：”1611-3399“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2017]}}}