{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,10,11]]，“日期时间”：“2023-10-11T16:48:45Z”，“时间戳”：1697042925779}，“出版商位置”：“查姆”，“引用计数”：22，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783319265285”，“类型”：”打印“}，{“值”：“9783319265292”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2015]]}，”DOI“：”10.1007\/978-3-319-26529-2_10“，”type“：”book-capter“，”created“：”{“date-part”：[2015,12,9]]，“date-time”：“2015-12-09T12:23:39Z”，“timestamp”：144 9663819000}，“页面”：“169-188”，“来源”：“交叉引用”，“is-referenced-by-count”：12，“title”：[“容错资源推理”]，“prefix”：“10.1007”，“author”：[{“给定”：“Gian”，“family”：“Ntzik”，“sequence”：“first”，“affiliation”：[]}，{“赋值”：“Pedro”，“家族”：“da Rocha Pinto”，“隶属关系”：[]}]，“成员”：“297”，“published-online”：{“date-parts”：[[2015,12,9]]}，“reference”：[{“key”：“10_CR1”，“unstructured”：“Bonwick，J.、Ahrens，M.、Henson，V.、Maybee，M.，Shellenbaum，M.：zettabyte文件系统。In:第二届Usenix文件和存储技术会议（2003）论文集”}，{“key”：：“Chen，H.，Ziegler，D.，Chlipala，A.，Kaashoek，M.F.，Kohler，E.，Zeldovich，N.：使用崩溃灰逻辑来认证FSCQ文件系统。In:SOSP（2015）”，“DOI”：“10.1145\/2815400.2815402”}，{“key”：“10_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Dinsdale-Young，T.，Birkedal，L.，Gardner，P.，Parkinson，M.，Yang，H.：观点：并发程序的组合推理。摘自：POPL，pp.287\u2013300（2013）”，“DOI”：“10.1145\/2480359.2429104”}，{“key”：“10_CR4”，“series-title”：“计算机科学课堂笔记”，“DOI-asserted-by”：“publisher”，“first page”：”504“DOI“：“10.1007\/978-3-642-14107-2_24”，“卷标题”：“ECOOP 2010\u2013面向对象编程”，“作者”：“T Dinsdale Young”，“年份”：“2010”，“非结构化”：“Dinsdale Young，T.，Dods，M.，Gardner，P.，Parkinson，M.J.，Vafeiadis，V.：并发抽象谓词。In：D\u2019Hondt，T.（编辑）ECOOP 2010。LNCS，第6183卷，第504\u2013528页。Springer，Heidelberg（2010）“}，{”key“：”10_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“169”，”doi“：”10.1007\/978-3642-54833-8_10“，”volume-title“：“Programming Languages and Systems”，”author“：”P Gardner“，”year“：”2014“，”unstructured“：”Gardner，P.，Ntzik，G.，Wright，A.：POSIX文件系统的本地推理。摘自：邵，Z.（编辑）《2014年员工持股计划》（ETAPS）。LNCS，第8410卷，第169\u2013188页。Springer，Heidelberg（2014）“}，{“key”：“10_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“Kropp，N.，Koopman，P.，Siewiorek，D.：离线软件组件的自动稳健性测试。1998年第二十八届容错计算国际研讨会。论文摘要，第230\u2013239页（1998）”，“doi”：“10.1109\/FTCS.1998.689474“}，{“key”：“10_CR7”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“468”，“doi”：“10.1007\/978-3642-11957-6_25”，“volume-title”：《编程语言与系统》，“author”：“ML Meola”，“year”：“2010”，“unstructured”：“Meola，M.L.，Walker，D.：错误逻辑：关于容错程序的推理。收录：Gordon，A.D.（编辑）2010年《员工持股计划》。LNCS，第6012卷，第468\u2013487页。Springer，Heidelberg（2010）“}，{”key“：”10_CR8“，”doi-asserted-by“：”publisher“，”first-page“：”94“，”doi“：”10.1145\/128765.128770“，”volume“：“17”，“author”：“C Mohan”，“year”：“1992”，“unstructured”：“Mohan，C.，Haderle，D.，Lindsay，B.，Pirahesh，H.，Schwarz，P.：ARIES：一种事务恢复方法，支持使用提前写日志的细粒度锁定和部分回滚。ACM事务处理。数据库系统。17，94\u2013162（1992）“，“日记标题”：“ACM Trans。数据库系统。“}，{”key“：”10_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Ntzik，G.，Gardner，P.：关于POSIX文件系统的推理：本地更新和全局路径名。In：OOPLSA（2015）“，”doi“：”10.1145\/2814270.2814306“Ntzik，G.，da Rocha Pinto，P.，Gardner，P.：容错资源推理。技术报告，伦敦帝国理工学院（2015）“，”DOI“：”10.1007\/978-3-319-26529-2_10“}，{”issue“：”1\u20133“，”key“：”10_CR11“，”DOI-asserted-by“：”publisher“，”first page“：“271”，“DOI”：“10.1016\/j.tcs.2006.12.035”，“volume”：“375”，“author”：“PW O\u2019Hearn”，“year”：“2007”，“unstructured”：“O\u2019Hearn，P.W.：资源、并发和本地推理。西奥。计算。科学。375（1\u20133），271\u2013 307（2007）“，“新闻标题”：“Theor。计算。科学。“}，{”key“：”10_CR12“，”doi-asserted-by“：”crossref“，”unstructured“：”Parkinson，M.，Bierman，G.：分离逻辑和抽象。摘自：POPL，pp.247\u2013258（2005）“，”doi“：”10.1145\/1047659.1040326“}“，{“key”：“10_CR13Prabhakaran，V.，Arpaci-Dosseau，A.，Arpaci-Dosseau.，R.：日志文件系统的基于模型的故障分析。2005年可靠系统和网络国际会议论文集。DSN 2005，pp.802\u20138112005年6月”，“DOI”：“10.1145\/10955810.1095830”｝，｛“key”：“10_CR14”，“DOI断言者”：“crossref”，“非结构化”：“Prabhakaran，V.，Arpaci Dusseau，A.C.，Arpaci Dusseau，R.H.：日志文件系统的分析和发展。在：USENIX年度技术会议，一般轨道（2005）”，“DOI”：“10.1145\/10955810.10830”｝，｛”key“：”10_CR15“，”unstructured“：”Reynolds，J.：分离逻辑：共享可变数据结构的逻辑。In：诉讼。2002年第17届IEEE计算机科学逻辑年会。pp.55\u201374（2002）“}，{“key”：“10_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“da Rocha Pinto，P.，Dinsdale-Young，T.，Dodds，M.，Gardner，P.、Wheelhouse，M.：复杂并发索引的简单抽象。摘自：OOPSLA，pp.845\u2013864计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：“207”，“doi”：“10.1007\/978-3662-44202-9_9”，“volume-title”：“ECOOP 2014\u2013面向对象编程”，“author”：“P Rocha Pinto da”，“year”：“2014”，“unstructured”：“da Rocha Pinto，P.，Dinsdale-Young，T.，Gardner，P.：TaDA:时间和数据抽象的逻辑。摘自：Jones，R.（编辑）ECOOP 2014。LNCS，第8586卷，第207\u2013231页。Springer，Heidelberg（2014）“}，{“key”：“10_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“da Rocha Pinto，P.，Dinsdale-Young，T.，Gardner，P.：并发模块模块规范中的步骤。in:MFPS（2015）”，“doi”：“10.1016\/j.entcs.2015.12.002”}，}“key:”10_CR19“，”doi-assert-by“：”publisher“，”first page“：”26“，”doi“：”10.1145\/146941.146943“，“卷”：“10”，“作者”：“M Rosenblum”，“年份”：“1992”，“非结构化”：“Rosenblom，M.，Ousterhout，J.K.：日志结构文件系统的设计和实现。ACM事务处理。计算。系统。10，26\u201352（1992）“，“日记标题”：“ACM Trans。计算。系统。“}，{”key“：”10_CR20“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“149”，”doi“：”10.1007\/978-3642-54833-8_9“，”volume-title“：“编程语言和系统”，”author“：”K Svendsen“，”year“：”2014“，”unstructured“：”Svendsen，K.，Birkedal，L.：不折不扣的并发抽象谓词。摘自：邵，Z.（编辑）《2014年员工持股计划》（ETAPS）。LNCS，第8410卷，第149\u2013168页。Springer，Heidelberg（2014）“}，{“问题”：“4”，“关键”：“10_CR21”，“doi-asserted-by”：“出版商”，“首页”：“393”，“doi”：“10.1145\/1189256.1189259”，“卷”：“24”，“作者”：“J Yang”，“年份”：“2006”，“非结构化”：“Yang，J.，Twohey，P.，Engler，D.，Musuvathi，M.：使用模型检查查找严重的文件系统错误。ACM Trans.Compute.Syst.24（4），393\u2013423（2006）“，”日记标题“：”ACM事务。计算。系统。“}，{”key“：”10_CR22“，”doi-asserted-by“：”crossref“，”unstructured“：”Zengin，M.，Vafeiadis，V.：Fork-Join并行的容错编程语言方法。In:2013年软件工程理论方面国际研讨会（TASE），pp.105\u2013112（2013年7月）“，”doi“：”10.1109\/TASE.2013.22“}]，”container-title“：[”编程语言和系统”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-319-26529-2_10”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[2020,9,12]，“日期时间”：“2020-09-12T11:13Z“，”时间戳“：1599909073000}，”分数“：1，”资源“：{”主要“：{”URL“：”http://\/link.springer.com/10.1007\/978-3-319-26529-2_10“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部分”：[2015年]}，‘ISBN’：[”9783319265285“，”97833265292“]，”参考计数“：22，”URL“：“http://\/dx.doi.org\/10.1007\/978-3-319-26529-2_10”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN类型”：[｛“value”：“0302-9743”，“type”：“print”｝，｛“value”：“1611-3349”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2015]]｝｝