{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,13]]，“日期-时间”：“2024-03-13T15:50:15Z”，“时间戳”：1710345015391}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：23，“发布商”：“ACM”，“内容-域”：{:“域”：[“dl.ACM.org”]，“交叉标记-限制“：true}，”short-container-title“用法：[]，“published-print”：{“date-parts”：[[2011,10,22]]}，“DOI”：“10.1145\/2048066.2048131”，“type”：“proceedings-article”，“created”：{“date-parts”：[2011,10,25]]，“date-time”：“2011-10-25T12:23:06Z”，“timestamp”：1319545386000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：10，“title”：[“复杂并发索引的简单抽象”]，“前缀”：“10.1145”，“作者”：[{“given”：“Pedro”，“family”：“da Rocha Pinto”，”sequence“：”first“，”affiliation“：[{name“：”Imperial College London，United Kingdom“}]}，{given“：”Thomas“，”family“：”Dinsdale-Young：“英国伦敦帝国理工学院”}]}，{“given”：“Mike”，“family”：“Dodds”，“sequence”：“additional”，“affiliation”：[{“name”：“University of Cambridge，Bridge，United Kingdom”}]neneneep，{”given“：”Philippa“，”family“：”Gardner“，”sequence“：”additional，“family”：“Wheelhouse”，“sequence”：“additional”，“affiliation”：[{“name”：“Imperial College London，United Kingdom”}]]，“member”：“320”，“published-online”：{“date-parts”：[[2011,10,22]]}，“reference”：[}“key”：“e_1_3_2_1_1_1”，“doi-asserted-by”：”publisher“，“doi”：“10.1145\/2272.227246”}，{“key”：”e_3_2_2_1_1“，”doi asserted-by“：”publisher“，”doi“：“10.5555\/1760267.1760273”}，{“key”：“e_1_3_2_1_3_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1040305.1040328“}，}“key”：”e_1_ 3_2_1_4_1“，”volume-title“：”关于并发索引的推理。硕士论文“，”author“：”da Rocha Pinto P.“，“year”：“2010”，“unstructured”：“da Rocha-Pinto，P。关于并发索引的推理。伦敦帝国理工学院硕士论文，2010年9月。da Rocha Pinto，P.关于并发索引的推理。伦敦帝国理工学院硕士论文，2010年9月。“}，{”key“：”e_1_3_2_1_5_1“，”volume-title“：”复杂并发索引的简单抽象。Tech.rep“，“author”：“da Rocha Pinto P.”，“year”：“2011”，“unstructured”：“da Rocha Pinto，P.，Dinsdale-Young，T.，Dodds，M.，Gardner，P.和Wheelhouse，M。复杂并发索引的简单抽象。技术代表。，伦敦帝国理工学院，2011年。da Rocha Pinto，P.，Dinsdale-Young，T.，Dodds，M.，Gardner，P.和Wheelhouse，M.复杂并发索引的简单抽象。伦敦帝国理工学院技术代表，2011年。“}，{”key“：”e_1_3_2_1_6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/1925844.1926407”}，“key”：“e_1_ 3_2_1 _7_1”，“volume-title”：“ECOOP”，“author”：“Dinsdale-Young T.”，”year“：”2010“，”unstructured“：”Dinsdale Young，T.，Dodds，M.，Gardner，P.，Parkinson，M.和Vafeiadis，V。并发抽象谓词。在ECOOP（2010）中。Dinsdale-Young，T.，Dodds，M.，Gardner，P.，Parkinson，M.和Vafeiadis，V.并发抽象谓词。在ECOOP（2010）中。“}，{”key“：”e_1_3_2_1_8_1“，”volume-title“：”VSTTE“，”author“：”Dinsdale-Young T.“，“year”：“2010”，“unstructured”：“Dinsdale-Young，T.，Gardner，P.，and Wheelhouse，M.《局部推理的抽象与精化》，收录于VSTTE（2010）。Dinsdaley-Young、T.、Gardner、P.和Wheelhouse，M..《局部推理中的抽象与精化》，摘录于VSTSTE（2010）.”}，{“key”：“e_1_3_2_1_9_1”，“doi asserted by”：“publisher”，“doi”：“10.1007\/978-3-642-00590-9_26”}，{“key”：“e_1_3_2_10_1”，“volume title”：“ESOP”，“author”：“Feng X.”，“year”：“2007”，“nonstructured”：“Feng，X.，Ferreira，R.，and Shao，Z.关于并发分离逻辑与假设保证推理之间的关系。在ESOP（2007）冯，X，费雷拉，R，邵，Z。关于并发分离逻辑与假设保证推理之间的关系。在ESOP（2007）中。“}，{”key“：”e_1_3_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-00590-9_19“}“，{“key”：”e_ 1_3_2 _12_1“、”doi-aserted-by”：“publisher”，“doi”：“10.1145\/7896969.78972”}，“key“:”e_3_21_13_1“，15.4.321“}，{”key“：”e_1_3_2_1_14_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/TSE.2006.125“}，{“key”：“e_1_3_2_15_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1706299.1706329“}”，{”key“：”e_1_ 3_2_1_16_1“，”doi-assert-by“：”publisher“，“10.1145\/1040305.1040326”}，{“key”：“e_1_3_2_18_1”，“doi-asserted-by”：“publisher”，”DOI“：”10.1006\/jcss.2000.1721“}，{”key“：”e_1_3_2_19_1“，”volume-title“：”LICS“，”author“：”Reynolds J.“，“year”：“2002”，”unstructured“：”Leynolds，J.Separation logic:共享可变数据结构的逻辑。在LICS（2002）中。Reynold，J.分离逻辑：共享可变数据结构的逻辑doi-asserted-by“：”publisher“，”doi“：”10.1016\/0022-0000（86）90021-8“}，{“key”：“e_1_3_2_1_21_1”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/j.entcs.2008.10.21”}，“key“：”e_1_s_2_1_22_1“，”doi-assered-by“：”publisher“，”doi“：“10.1145\/1926385.1926415”}_23_1“，“volume-title”：“依赖保证与分离逻辑的结合。CONCUR”，“作者：“Vafeiadis V.”，“年份”：“2007年”，“非结构化”：“Vafeiadis，V.和Parkinson，M。依赖保证和分离逻辑的结合。CONCUR（2007）。Vafeiadis，V.和Parkinson，M.依赖/保证和分离逻辑的结合。CONCUR（2007）。“}]，”event“：{”name“：”SPLASH'11:系统、编程和应用会议：人性化软件“，”location“：”Portland Oregon USA“，”缩写词“：”SPASH'11“，”赞助商“：[“SIGPLAN ACM编程语言特别兴趣小组”]}，”container-title“：[”2011年ACM面向对象编程系统语言和应用国际会议论文集“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2048066.2048131”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{date-parts“：[[2023,9,4]]，”date-time“：”2023-09-04T19:11:43Z“，”timestamp“：1693854703000}，”score“：1，”resource“：{”primary“：”URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048131“}，“subtitle”：[]，“shorttitle”：[]，“issued”：{ive-id“：[”10.1145\/2048066.2048131“，”10.1145 \/2048066“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/2048066.2048131“，”关系“：{”is-idential-to“：[{”id-type“：”doi“，”id“：”10.1145\/2076021.2048131“，”asserted-by“：”object“}]}，”subject“：[]，”published“：”{“date-parts”：[2011,10,22]]}“断言”：[{“value”：“2011-10-22”，“order”：2，“name”：“published”，“label”“：”“published”“，”group“：{”name“：”publication_history“，”label“：”出版历史记录“｝｝]｝｝