{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,3,12]，“日期-时间”：“2024-03-12T19:22:29Z”，“时间戳”：1710271349578}，“引用-计数”：23，“出版商”：“Elsevier BV”，“许可证”：[{“开始”：}“日期-部分”：[2015,12,1]]，“日期时间”：”2015-12-01T00:00:00 Z“，”timestamp“：1448928000000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2015,12,15]]，“date-time”：“2015-12-15T00:00:00Z”，“timestamp”：145013760000}，“content-version”：“vor”，“delay-in-days”：14，“URL“http://creativecommons.org\/license\/by\/4.0\/“}]”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2015,12]]}，“DOI”：“10.1016\/j.entcs.2015.12.002”，“type”：“journal-article”，“created”：{“date-parts”：[2015,12,22]]，“date-time”：“2015-12-22T15:00:39Z”，“timestamp”：1450796439000}，”page：“3-18”，“source”：”Crossref“，”is-referenced-旁路计数”：8，“title”：[“并发模块模块规范中的步骤（受邀教程论文）”]，“前缀”：“10.1016”，“卷”：“319”，“作者”：[{“给定”：“佩德罗”，“家族”：“达罗查·平托”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“托马斯”，“家庭”：“丁斯代莱-杨”，“顺序”：“附加”，“附属关系”：[]}，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/j.entcs.2015.12.002_br0010”，“series-title”：“POPL”，“首页”：“259”，“article-title”：《分离逻辑中的权限核算》，“author”：“Bornat”，“year”：“2005”}，{“密钥”：“101016\/j.entc.2015.12.002_br0020”，《series-ttle》：“SAS”“，”首页“：”55“，”文章标题“：“检查对分数权限的干扰”，“author”：“Boyland”，“year”：“2003”}，{“key”：“10.1016\/j.entcs.2015.12.002_br0030”，“series-title”：“ECOOP”，“first-page”：“207”，“article-title”：”TaDA:时间和数据抽象逻辑“，”author“：”da Rocha Pinto“，”year“2014”}POPL“，“first page”：“287”，“article-title”：“Views:并发程序的合成推理”，“author”：“Dinsdale-Young”，“year”：“2013”}，{“key”：”10.1016\/j.entcs.2015.12.002_br0050“，”series-title“：”ECOOP“，“first-page”：“504”，“article-title”：“并发抽象谓词”，“author”:“Dinsdale-Young'，“year:”2010“}，”{“key”：“10.1016\/j.entcs.2015.12.002_br0060”，“series-title”：“ESOP”，“first page”：“363”，“article-title”：《拒绝保证推理》，“author”：“Dodds”，“year”：“2009”}，{“key”：《10.1016\/j.entcs.2015.12.002_br0070》，“first-page”：“315”，“article-tite”：“Local rely-Guarantee Reasoning”，“volume”：第44卷，“auther”：“Feng”，“年份”：“09”“}，{”键“：“10.1016\/j.entcs.2015.12.002_br0080”，“series-title”：“ESOP”，“first page”：“252”，“article-title”：《并发对象抽象》，“author”：“Filipovi\u0107”，“year”：“2009”}，{“key”：”10.1016\/j.entcs.2015.1.2002_br0090“，”series-ttle“：”CONCUR“，“first-page”：“256”，“article-title”：“所有权转移的线性化”，“audor”：“Gotsman”，“年份”：“2012”}，{“issue”：“3”，“key”：“10.1016\/j.entcs.2015.12.002_br0100”，“doi-asserted-by”：“crossref”，“first page”：”463“，“doi”：“101145\/78969.78972”，“article-title”：“线性化：并发对象的正确条件”，“volume”：：“12”，“author”：“Herlihy”，”year“1990”，“journal-title“：”ACM Trans.Program.Lang.Syst.“}，{“问题”：“10”，“密钥”：“10.1016\/j.entcs.2015.12.002_br0110”，“doi-asserted-by”：“crossref”，“首页”：“576”，“doi”：“10.1145\/363235.363259”，“article-title”：“计算机编程的公理基础”，“volume”：“12”，“author”：“Hoare”，“year”：“1969”，”journal-title“：”Commun.ACM“}，{”key“：”10.1016\/j.entcs.2015.1.2002_br0120“，”series title“：”POPL“，”首页“：”271“，“article-title”：“表达式模块细粒度并发规范”，“author”：“Jacobs”，“year”：“2011”}，{“key”：“10.1016\/j.entcs.2015.12.002_br0130”，“first page”：《321》，“artice-title》：“（并行）程序的规范和设计”，“volume”：第83卷，“author”：“Jones”，“年份”：“1983”}：“POPL”，“first page”：“637”，“article-title”：“Iris:单体和不变量作为并发推理的正交基础”，“author”：“Jung”，“year”：“2015”}，{“key”：”10.1016\/j.entcs.2015.12.002_br0150“，”series-title“：”POPL“，{“issue”：“1”，“key”：“10.1016\/j.entcs.2015.12.002_br0160”，“doi-asserted-by”：“crossref”，“首页”：“21”，“doi”：“101145\/103727.103729”，“article-title”：“共享内存多处理器上可伸缩同步的算法”，“volume”：”9“，“author”：“Mellor-Crummey”，“year”：“1991”，“journal-title“：”ACM Trans.Comput.Syst.“}，{”key“：“10.1016\/j.entcs.2015.12.002_br0170”，“series-title”：“ESOP”，“first page”：“290”，“article-title”：”通信细粒度并发资源的状态转换系统“，“author”：“Nanevski”，“year”：“2014”}，{“issue”：“1\u20133”，“key”：”10.1016//j.entcs.2015.12.02_br0180“，”doi-asserted-by“：”crossref“，“first-page”：“271”，“doi”：“10.1016\/j.tcs.2006.12.035”，“article-title”：“资源、并发和局部推理”，“卷”：“375”，“作者”：“O'Hearn”，“年份”：“2007”，“日志标题”：“Theor.Comput.Sci.”}，{“问题”：“5”，”key“：”10.1016\/j.entcs.2015.12.002_br0190“doi-asserted-by”：“crossref”，“首页”：“279”，“doi”：“10.1145\/3600 51.360224“，“文章标题”：“验证并行程序的属性：公理方法”，“卷”：“19”，“作者”：“Owicki”，“年份”：“1976”，“日志标题”：“Commun.ACM”}，{“key”：“10.1016\/j.entcs.2015.12.002_br0200”，“series-title”：“ESOP”，“first page”：：“10.1016\/j.entcs.2015.12.002_br0210”，“series-title”：“ESOP”，“first page”：“169”，“article-title”：”关于并发数据结构分离的模块化推理“，”author“：”Svendsen“，”year“：”2013“}，{“key”：”10.1016\/j.entcs.2015.12.002_br0220“，”series-tile“：”ICFP“，”first pages“：”377“，”article-title“：“在高阶并发逻辑中统一求精和老式推理”，“author”：“Turon”，“year”：“2013”}，{“key”：“10.1016\/j.entcs.2015.12.002_br0230”，“series-title”：“模块化细粒度并发验证”，“author”:“Vafeiadis”，“年份”：“2008”}]，“container-title”：[“理论计算机科学中的电子笔记”]，“原标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S1571066115000699？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”}，{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S1571066115000699？httpAccept=text\/plain”，“内容类型“：“text\/plain”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2018,9,16]]，“date-time”：“2018-09-16T17:57:29Z”，“timestamp”：1537120649000}，“score”：1，“resource”：{primary“：{”URL“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106611500699”}}，副标题“：[]，”短标题“：[[]，”已发布“：{”日期部分“：[[2015,12]]}，“references-count”：23，“alternative-id”：[“S1571066115000699”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.entcs.2015.12.002”，“relation”：{}，”ISSN“：[“1571-0661”]，”ISSN-type“：[{”value“：”1571-0691“，”type“:”print“}]，“subject”：[]，“published”：{“date-parts”：[[20151,1 2]]}}}