｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,9,9]]，“date-time”：“2024-09T07:32:50Z”，“timestamp”：1725867170383｝，“publisher location”：“Cham”，“reference count”：17，“publisher”：“Springer International Publishing”，“isbn type”：[｛“type”：“print”，“value”：“9783319479576”｝，｛“type”：“electronic”，“value”：“9783319479583”｝]，“license”：[｛“start”：｛“date parts”：[[2016,1,1]]，“date time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000｝，“content version”：“unspecified”，“delay in days”：0，“URL”：“http:\/\/www.springer.com\/tdm”｝]，“content domain”：｛“domain”：[]，“crosmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[2016]]}，“DOI”：“10.1007\/978-3-319-47958-3_17”，“type”：“book-capter”，“created”：{“date-parts”：[[2016,10,8]]，“date-time”：“2016-10-08T13:40:52Z”，“timestamp”：1475934052000}，《page》：“314-334”，“source”：《Crossref》，“is-referenced-by-count”：8，“title”：[“验证并发图算法”]，“前缀”：“101007”，“author“：[{”given“：”Azalea“，”family“：”Raad“，“sequence”：“first”，“affiliation”：[]}，{“given”：“Aquina”，“family”：“Hobor”，“segment”：“additional”，“filiation“：[]{”given“：”Jules“，”family“：”Villard“，”sequence“：”additional：{“日期部分”：[[2016,10,9]]}，“参考”：[{“unstructured”：“Bornat，R.，Calcagno，C.，O\u2019Hearn，P.：局部推理、分离和混叠。In:SPACE，vol.4（2004）”，“key”：“17_CR1”}，{“key“：”17_CR2“，”series-title“：”计算机科学课堂笔记“，”doi-asserted-by“：”publisher“，”first page“：“43”，“doi”：“10.1007 \/3-540-07994-7_48”，“volume-title”：“Language Hierarchies and Interfaces”，“author”：“EW Dijkstra”，“year”：“1976”，“unstructured”：“Dijkstra，E.W.，Lamport，L.，Martin，A.J.，Scholten，C.S.，Steffens，E.F.M.：On-the-fly darbage collection:an exercise in cooperation.in:Bauer，F.L.，Dijksstra，E.W，Ershov，A.，Griffiths，M.，Hoare，C.A.R.，W.A.，Samelson，K.（eds.）语言层次结构和接口。LNCS，第46卷，第43页\u201356。斯普林格，海德堡（1976）。doi:10.1007\/3-540-07994-7_48“}，{“doi-asserted-by”：“crossref”，“unstructured”：“Dinsdale-Young，T.，Birkedal，L.，Gardner，P.，Parkinson，M.，Yang，H.：视图：并发程序的组合推理。In:POPL，pp.287\u2013300（2013）”，“key”：“17_CR3”，“doi”：“10.1145\/24229069.2429104”}，}，“doi-sserted-by“crossrev”，”：“非结构化”Dinsdale-Young，T.、Dodds，M.、Gardner，P.、Parkinson，M.和Vafeiadis，V.：并发抽象谓词。收录于：ECOOP，pp.504\u2013528（2010）“，“key”：“17_CR4”，“DOI”：“10.1007\/978-3642-14107-2_24”}，{“DOI-asserted-by”：“crossref”，“unstructured”：“Dockins，R.，Hobor，A.，Appel，A.：分离代数和共享核算的新视角。收录于（2009）“，”key“：”17_CR5“，”DOI“10.1007\/978-3-642-10672-9_13”}by“：”crossref“，”unstructured“：”X·冯：局部相对保证推理。收录于：POPL，第315\u2013327页（2009）“，”key“：”17_CR6“，”DOI“：”10.1145\/1594834.1480922“}，{“key”：“17_CR7”，“volume-title”：“并行计算导论”，“author”：“A Grama”，“year”：“2003”，“unstructured”：“Grama，A.，Anshul，G.，Karypis，G.、Kumar，V.：并行计算导言，第二版。Addison-Wesley，Boston（2003）”，“edition”：“2”}，{“doi-asserted-by“：”crossref“，”unstructured“：”Hobor，A.，Villard，J.：数据结构中共享的后果。收录于：Giacobazzi，R.，Cousot，R.（编辑）POPL，第523\u2013536页。ACM（2013）“，“key”：“17_CR8”，“DOI”：“10.1145\/2429069.2429131”}，{“DOI-asserted-by”：“crossref”，“unstructured”：“Nanevski，A.，Ley-Wild，R.，Sergey，I.，Delbianco，G.：针对细粒度并发资源的通信状态转换系统。摘自：ESOP，pp.290\u2013310（2014）”，“key:”17_CR9“，”DOI“：”10.1007\/978-3642-54833-8_16“}，”}非结构化“：”Raad，A.：伦敦帝国理工学院博士论文（2016年出版）“，“key”：“17_CR10”}，{“doi-asserted-by”：“crossref”，“unstructured”：“Raad，A，Hobor，A.，Villard，J.，Gardner，P.：验证并发图算法（扩展）（2016年）”，“key:”17_CR11“，”doi“10.1007\/978-319-47958-3_17”}Raad，A.，Villard，J.，Gardner，P.：CoLoSL：并发局部主观逻辑。摘自：ESOP，第710\u2013735页（2015）“，”key“：”17_CR12“，”DOI“：”10.1007\/978-3662-46669-8_29“}，{”unstructured“：”Reynolds，J.：“分离逻辑短训（2003）。http://www.cs.cmu.edu\/afs\/cs.cmu.eud\/project\/fox-19\/member\/jcr\/wwwaac2003\/notes7.ps“，”key“：“17_CR13”}，”{“DOI-asserted by“：”crossref“，”unstructured“：”Sergey，I.，Nanevski，A.，Banerjee，A.：细粒度并发程序的机械化验证。In：PLDI（2015）“，”key“：”17_CR14“，”DOI“：”10.1145\/2737924.2737964“}，{”DOI-asserted-by“：”crossref“，”unstructured“：”Svendsen，K.，Birkedal，L.：Impredicative并发抽象谓词。In：ESOP（2014）“，“key”：“17_CR15”，“DOI”：“10.1007\/978-3642-54833-8_9Turon，A.，Dreyer，D.，Birkedal，L.：在高阶并发逻辑中统一求精和Hoare-style推理。In:ICFP，pp.377\u2013390（2013）“，”key“：”17_CR16“，”DOI“：”10.1145\/2500365.2500600“}，”{“unstructured”：“Yang，H.：有状态程序的局部推理。伊利诺伊大学博士论文（2001）”，“key”：“17_CR17”}]，“container-title”：[“计算机科学课堂讲稿”，“编程语言和系统”]，“original-title“：[]，”link“：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-319-47958-3_17“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,9,14]，”date-time“：“2019-09-14T11:31:04Z”，”timestamp“：1568460664000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-319-47958-3_17“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2016]]}，“ISBN”：[“9783319479576”，”9783318479583“]，”引用计数“：17，”URL“http://\/dx.doi.org\/10.1007\/9783-319-47958-3_17”，“关系”：{}，N“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”键入“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2016]]}}