{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,8]]，“日期时间”：“2024-09-08T12:10:21Z”，“时间戳”：1725797421228}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“97979”83662442012“}，{”类型“：“electronic”，“value”：“9783662442029”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-3662-442022-9_9“，”type“：”book-capter“，”created“：”{“date-part”：[2014,7,17]]，“date-time”：“2014-07-17T02:01：13Z“，”时间戳“：1405562473000}，”页面“：”207-231“，“source”：“Crossref”，“is-referenced-by-count”：86，“title”：[“TaDA:时间和数据抽象的逻辑”]，“prefix”：“10.1007”，”author“：[{”given“：”Pedro“，”family“：”da Rocha Pinto“，“sequence”：“first”，“affiliation”：[]}，{“given”：：“Gardner”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“9_CR1”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，”first page“：”87“，”doi“：”10.1007\/978-3642-28869-2_5“，”volume-title“：”Programming Languages and Systems“，”author“：”S.Burckhardt“，”year“：”2012“，”unstructured“：“Burckhardt，S.，Gotsman，A.，Musuvati，M.，Yang，H.：TSO内存模型上的并发库正确性。摘自：Seidl，H.（ed.）Programming Languages and Systems。LNCS，vol.\u00a07211，pp.87\u2013107。Springer，Heidelberg（2012）“}，{“key”：“9_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Dinsdale-Young，T.，Birkedal，L.，Gardner，P.，Parkinson，M.，Yang，H.：视图：并发程序的组合推理。In:POPL，pp.287\u2013300（2013）”，“doi”：“10.1145 \/2480359.2429104”}，“key“：”“9_CR3”，“series-title”：“《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“504”，“doi”：“10.1007\/978-3642-14107-2_24”，《volume-title》：“ECOOP 2010\u2013面向对象编程”，“author”：“T.Dinsdale-Young”，“year”：“2010”，“unstructured”：“Dinsdal-Young，T.，Dodds，M.，Gardner，P.，Parkinson，M.J.，Vafeiadis，并发抽象谓词。收录于：D\u2019Hondt，T.（编辑）ECOOP 2010。LNCS，第u00a06183卷，第504\u2013528页。Springer，Heidelberg（2010）“}，{”key“：”9_CR4“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“363”，”doi“：”10.1007\/978-3642-00590-9_26“，”volume-title“：“Programming Languages and Systems”，”author“：”M.Dodds“，”year“：”2009“，”unstructured“：”Dodds，M.、Feng，X.、Parkinson，M.和Vafeiadis，V.：拒绝保证推理。收录：Castagna，G.（编辑）ESOP 2009。LNCS，卷\u00a05502，第363\u2013377页。Springer，Heidelberg（2009）“}，{”key“：”9_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Doherty，S.，Detlefs，D.L.，Groves，L.，Flood，C.H.，Luchangco，V.，Martin，P.A.，Moir，M.，Shavit，N.，Steele，J.G.L.：DCAS不是非阻塞算法设计的银弹。摘自：SPAA，pp.216\u2013224（2004）“，”doi“：”10.1145\/100791.1007945“}”，{“key”“：”9_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”Dreyer，D.，Neis，G.，Birkedal，L.：高阶状态和控制效果对局部关系推理的影响。In:ICFP，pp.143\u2013156（2010）“，”DOI“：”10.1145\/1932681.1863566“}，”key“：”9_CR7“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“252”，“DOI”：“10.1007\/978-3642-00590-9_19”，“volume-title”：“Programming Languages and Systems”，“author”：“I.Filipovi\u0107”，“year”：“2009”，“unstructured”：“Filipovi\u0107，I.，O\u2019Hearn，P.，Rinetzky，N.，Yang，H.：并发对象的抽象。收录：Castagna，G.（编辑）ESOP 2009。LNCS，第u00a05502卷，第252\u2013266页。Springer，Heidelberg（2009）“}，{”key“：”9_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“256”，”doi“：”10.1007\/978-3642-32940-1_19“，”volume-title“：“CONCUR 2012\u2013 Concurrency Theory”，“author”：“A.Gotsman”，“year”：“2012”，“unstructured”：“”Gotsman，A.，Yang，H.：所有权转移的线性化。收录：Koutny，M.，Ulidowski，I.（编辑）CONCUR 2012。LNCS，卷\u00a07454，第256\u2013271页。Springer，Heidelberg（2012）“}，{”issue“：“3”，”key“：“9_CR9”，”doi-asserted-by“：”publisher“，”first page“：”463“，”doi“：”10.1145\/78969.78972“，”volume“：12”，“author”：“M.P.Herlihy”，“year”：“1990”，“unstructured”：“Herlihe，M.P.，Wing，J.M.：线性化：并发对象的正确条件。ACM Trans.Program.Lang.Syst.\u00a012（3），463\u2013492（1990）“，”日记标题“：”ACM Trans。程序。语言系统。“}，{”key“：”9_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Jacobs，B.，Piessens，F.：表达型模块化细粒度并发规范。摘自：POPL，pp.271\u2013282（2011）“，”doi“：”10.1145\/1925844.1926417“}”，{Ley Wild，R.，Nanevski，A.：粗粒度并发的主观辅助状态。在：POPL，pp.561\u2013574（2013）“，”DOI“：”10.1145\/24803529.2429134“｝，｛”issue“：”1-3“，”key“：”9_CR12“，”DOI断言“：”publisher“，”first page“：”271“，”DOI“：”10.1016\/j.tcs.2006.12.035“，”volume“：”375“，”author“：”P.W.O\u2019Hearn“，”year“：”2007“，”nonstructured“：”O\u2019Hearn，P.W.：资源、并发和局部推理。西奥。计算。科学。\u00a0375（1-3），271\u2013307（2007）“，“新闻标题”：“Theor。计算。科学。“}，{”key“：”9_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Parkinson，M.，Bierman，G.：分离逻辑和抽象。摘自：POPL，pp.247\u2013258（2005）“，”doi“：”10.1145\/1047659.1040326“}“，{“key”：“9_CR14da Rocha Pinto，P.、Dinsdale-Young，T.、Dodds，M.、Gardner，P.和Wheelhouse，M.：复杂并发索引的简单抽象。摘自：OOPSLA，第845\u2013864页（2011）“，“DOI”：“10.1145\/2076021.2048131”}，{“key”：“9_CR15”，“DOI-asserted-by”：“crossref”，“unstructured”：“da Rocha Pinto，P.，Dinsdale-Young，T.，Gardner，P.：TaDA:A Logic for Time and Data Abstraction.Tech.rep.，Imperial College London（2014）”，“DOI:”10.1007\/978-3-62-44202-9_9“}，”{“密钥”：“9”_CR16“，”系列标题“：”《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“149”，《doi》：“10.1007\/978-3642-54833-8_9”，“volume-title”：“Programming Languages and Systems”，“author”：“K.Svendsen”，“year”：“2014”，“unstructured”：“Svendsen，K.，Birkedal，L.：Impredicative Concurrent Abstract Predicates”。作者：Shao，Z.（编辑）ESOP 2014（ETAPS）。LNCS，卷\u00a08410，第149\u2013168页。Springer，Heidelberg（2014）“}，{”key“：”9_CR17“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“169”，“doi”：“10.1007\/978-3642-37036-6_11”，“volume-title”：“Programming Languages and Systems”，“author”：“K.Svendsen”，“year”：“2013”，“unstructured”：“Svendsen，K.，Birkedal，L.，Parkinson，M.：关于并发数据结构分离的模块化推理。摘自：Felleisen，M.，Gardner，P.（编辑）《编程语言与系统》。LNCS，卷\u00a07792，第169\u2013188页。Springer，Heidelberg（2013）“}，{“key”：“9_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Turon，A.，Dreyer，D.，Birkedal，L.：统一高阶并发逻辑中的精化和灰白色推理。摘自：ICFP，pp.377\u2013390（2013）”，“doi”：“10.1145\/2544174.2500600”}，}，“key“：”9_CR19“，”doi-assert-by“：”crossref.“，”：“Turon，A.J.、Thamsborg，J.、Ahmed，A.、Birkedal，L.、Dreyer，D.：细粒度并发的逻辑关系。在：POPL，pp.343\u2013356（2013）“，”DOI“：”10.1145\/2480359.2429111“}，{“key”：“9_CR20”，“unstructured”：“Vafeiadis，V.：模块化细粒度并发验证。剑桥大学博士论文，计算机实验室（2008）”}，“{”key“：”9_CR21“，”DOI-asserted-by“：”crossref“，”unstructure“：”Vafeiadis，V.，Herlihy，M.，Hoare，T.，Shapiro，M.：证明高并发线性对象的正确性。在：PPoPP，pp.129\u2013136（2006）“，”DOI“：”10.1145\/1122971.1122992“}]，”container-title“：[”计算机科学讲义“，”ECOOP 2014\u2013面向对象编程“]，”original-title”：[]，”link“：[{”URL“：”http://\link.springer.com\/content\/pdf\/10007\/978-3662-44202-9_9“，”content-type“：”unspecified“，”content-version“：”vor“，“”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2019,5,27]]，”日期时间“：”2019-05-27T10:04:38Z“，”时间戳“：1558951478000}，”分数“：1，”资源“：{“primary”：{“URL”：“http://\link.sprimary.com\/10007\/978-3662-44202-9_9”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”“：[2014]]}，”ISBN“：[”9783662442012“，”9783662442029“]，”references-count“：21，”URL“：”http://\/dx.doi.org\/10.1007\/978-3662-44202-9_9“，”relationship“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“type”：“electronic”，“value”：”1611-349“}]，“subject”：[]，“published”：{“date”部分”：【2014年】}}}