{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,12]，“日期-时间”：“2024-07-12T05:06:47Z”，“时间戳”：1720760807143}，“引用-计数”：38，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{-date-parts”：[[2018,8,1]]，“日期时间”：”2018-08-01T00:00:00 0:00Z“，”时间戳“：1533081600000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2018,4,18]]，“date-time”：“2018-04-18T00:00:00Z”，“timestamp”：1524009600000}，“content-version”：“vor”，“delay-in-ddays”：0 4.0\/“}]，“出资人”：[{“名称”：“丹麦技术和生产科学独立研究委员会”}，{“DOI”：“10.13039\/501100000266”，“name”：“EPSRC”，“DOI-asserted-by”：“publisher”，“award”：[“EP\/H008373\/1”，“EP\/K008528\/1”]，“id”：[{“id”:“10.13029\/50110000266”，“id-type”：“DOI“，”asserted-by“：”publisher“}]}]，“content-domain”：{域“：[”elsevier.com“，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“Journal of Logical and Algebraic Methods in Programming”]，”published-print“：{“date-parts”：[[2018,8]]}，”DOI“：”10.1016\/j.jlamp.208.03.003“，”type“：”Journal-article“，”created“：{“date-ports”：[2018,4,2]，”date-time“：”2018-04-02T03:47Z“，”timestamp“：1522640807000}，“第页”：“1-25”，“update-policy”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：4，“special_numberg”：“C”，“title”：[“指定和验证并发模块的角度”]，“prefix”：“10.1016”，“volume”：”98“，“author”：[{“given”：：“Thomas”，“family”：“Dinsdale-Young”，“sequence”：“first”，“affiliation”：[]}、，{“given”：“佩德罗”，“family”：“da Rocha Pinto”，“sequence”：“additional”，“affiliation”：[]}“，”doi“：”10.1145\/360051.360224“，”文章标题“：“验证并行程序的属性：公理方法”，“卷”：“19”，“作者”：“Owicki”，“年份”：“1976”，“日志标题”：“Commun.ACM”}，{“密钥”：“10.1016\/j.jlamp.2018.03_br0020”，“系列标题”：《IFIP大会》，“首页”：“321”，“文章标题”：（并行）程序的规范和设计”，“卷标”：“卷83”，“作家”：“琼斯”，“年”：“1983”}，{“issue”：“1\u20133”，“key”：“10.1016\/j.jlamp.2018.03_br0030”，“doi-asserted-by”：“crossref”，“首页”：“271”，“doi”：“101016\/j.tcs.2006.12.035”，“article-title”：“资源、并发和本地推理”，“volume”：”375“author”：“O'Hearn”，“年份”：“2007”，“日志标题”：“Theor.Comput.Sci”.“}，{”问题“：”3“，”密钥“：“10.1016\/j.jlamp.2018.03.03_br0040”，“doi-asserted-by”：“crossref”，“first page”：“463”，“doi”：“10.1145\/78969.78972”，“article-title”：“线性化：并发对象的正确性条件”，“volume”：”12“，“author”：“Herlihy”，”year“1990”，“journal-title“：”ACM Trans.Program.Lang.Syst.“}，{”key“：”10.1016\/jlamp.2016.08.3.003_br0050“，“系列标题”：“ECOOP”，“首页”：“207”，“文章标题”：“TaDA:时间和数据抽象的逻辑”，“作者”：“da Rocha Pinto”，“年份”：“2014”}，{“密钥”：“10.1016\/j.light.2018.03.003_br0060”，“系列标题”：“用时间和数据抽象进行推理”，“作者”：“da Rocha Pinto”，“年份”：“2016”}，{“密钥”：“10.1016\/j.light.2018.03.003_br0070”，“系列标题”：“POPL”，“first page”：“637”，“article-title”：“Iris:作为并发推理正交基础的幺半群和不变量”，“author”：“Jung”，“year”：“2015”}，{“key”：”10.1016\/j.jlamp.2018.03_br0080“，”series-title“：”ESOP“，”first page:“290”，”article-title“：“通信细粒度并发资源的状态转移系统”，“author”：“Nanevski”，“year”：“2014”}，{“key”：“10.1016\/j.jlamp.2018.03_br0090”，“series-tille”：“ESOP”，“first-page”：“333”，“article-ttile”：“用历史和主观性指定和验证并发算法”，“author”：“Sergey”，“年份”：“2015”}“，”文章标题“：“Expressive module fine-grained concurrency specification”，“author”：“Jacobs”，“year”：“2011”}，{“issue”：“1”，“key”：“10.1016\/j.jlamp.2018.03.003_br0110”，“doi-asserted-by”：“crossref”，”first page“：”21“，”doi“10.1145\/1037.103729”，“article-title”：“共享内存多处理器上可伸缩同步的算法”，“volume”：”9“，”author“：“Mellor-Crummey”，“year”：“1991”，“journal-title”：“ACM Trans.Comput.Syst.”}，{“issue”：“10”，“key”：“10.1016\/j.jlamp.2018.03_br0120”，“doi-asserted-by”：“crossref”，“first page”：”576“，”doi“10.1145\/363259”，“article-title“：”计算机编程的公理基础“，”volume“：”12“author”：“Hoare”，“年份”：“1969年”，“新闻标题”：“Commun.ACM”}，{“key”：“10.1016\/j.jlamp.2018.03_03_br0130”，“series-tille”：“POPL”，“first page”：”14“，“article-title”：”BI作为可变数据结构的断言语言“，”author“：”Ishtiaq“，”year“：”2001“}，{”key“：”10.1016\/j.jlamp.208.03.003_br0140“，”series-title“：”LICS“，”first pages“：”55“，”article-title“：“分离逻辑：共享可变数据结构的逻辑”，“author”：“Reynolds”，“year”：“2002”}，{“issue”：“1”，“key”：“10.1016\/j.jlamp.2018.3.003_br0150”，“doi-asserted-by”：“crossref”，“first page”：”227“，”doi“：”10.1016\/j.tcs.2006.12.034“，”article-title“：”并发分离逻辑的语义“，”volume“：”375“，”author“：”Brookes“，”year“：“2007”，“journal-title”：“Theor.Comput.Sci.”}，{“issue”：“2”，“key”：“10.1016\/j.jlamp.2018.3.003_br0160”，“doi-asserted-by”：“crossref”，“first page”：”215“，“doi”：“10.2307\/421090”，“article-title“：”集群含义的逻辑“，”volume“：”5“，”“author”：“O'Hearn”，“year”：“1999”，“jornal-title:”Bull.Symb。Log.“}，{”key“：”10.1016\/j.jlamp.2018.03.003_br0170“，“series-title”：“模块化细粒度并发验证”，“author”：“Vafeiadis”，“year”：“2008”}，{“key”：“10.1016\/j.jlamp.2018.3.003_br0180”，“series-title”：”POPL“，“first page”：”315“，“article-title“：”Local rely-guarantee reasoning“，”author“：”Feng“，”year“：”2009“}，“key“：”10.1016//jlamp.208.03.003_br 0190“，”series title“：”员工持股计划“，”首页“：“363”，“文章标题”：“拒绝保证推理”，“作者”：“Dods”，“年份”：“2009”｝，｛“密钥”：“10.1016\/j.jlamp.2018.03.003_br0200”，“系列标题”：“ECOOP”，“第一页”：“504”，“文章标题”：“并发抽象谓词”，“作者”：“Dinsdale Young”，“年份”：“2010”｝，｛“密钥”：“10.1016\/j.jlamp.2018.03.003_br0210”，“系列标题”：“SAS”，“第一页”：“55”，“article-title”：“检查对分数权限的干扰”，“author”：“Boyland”，“year”：“2003”}，{“key”：“10.1016\/j.jlamp.2018.3.003_br0220”，“series-title”：”POPL“，“first page”：”259“，”article-title“：”分离逻辑中的权限核算“，”author“：”Bornat“，”year“：”2005“：”POPL“，“first-page”：“561”，“article-title”：“粗粒度并发的主观辅助状态”，“author”：“Ley-Wild”，“year”：“2013”}，{“key”：“10.1016\/j.jlamp.2018.03.03_br0240”，“series-title”：《ICFP》，“first page”：《377》，“artice-title》：“在高阶并发逻辑中统一求精和白痴推理”，“author”:“Turon”，“year”：“2013”}，{“key”：“10.1016\/j.jlamp.2018.03_br0250”，“series-title”：“ESOP”，“首页”：“169”，“文章-标题”：“关于并发数据结构分离的模块化推理”，“作者”：“Svendsen”，“年份”：“2013年”}：“令人印象深刻的并发抽象谓词”，“author”：“Svendsen”，“year”：“2014”｝，｛“key”：“10.1016\/j.jlamp.2018.03.003_br0270”，“series title”：“ESOP”，“first page”：“252”，“article title”：“并发对象的抽象”，“author”：“Filipovi\u0107”，“year”：“2009”｝，｛“key”：“10.1016\/j.jlamp.2018.03.003_br0280”，“series title”：“POPL”，“first page”：“287”，“article-title”：“Views:并发程序的合成推理”，“author”：“Dinsdale-Young”，“year”：“2013”}，{“key”：“10.1016\/j.jlamp.2018.3.003_br0290”，“series-title”：《关于POSIX文件系统的推理》，“author”：“Ntzik”，“年份”：“2016”}“，”文章标题“：“分离逻辑和抽象”，“作者”：“帕金森”，“年份”：“2005”}，{“key”：“10.1016\/j.jlamp.2018.03.03_br0310”，“series-title”：“CONCUR”，“首页”：“256”，“文章标题”：“所有权转移的线性化”，“author”：“Gotsman”，“年”：“2012”}、{“密钥”：“101016\/j.jlamp.2018.3.003_br0320”，“系列标题”：”LICS“，“first”第“：”366页，“article-title”：“局部动作与抽象分离逻辑”，“author”：“Calcagno”，“year”：“2007”}，{“key”：“10.1016\/j.jlamp.2018.3.003_br0330”，“series-title”：”APLAS“，”first page“：”161“，”article-title“：”重新审视分离代数与共享会计“，”author“：”Dockins“，“year:”2009“}，”{“key”：”10.1016\/jlamp.2013.003_br0340“，“series-title”：“ICSE”，“first page”：“429”，“article-title”：”VCC：基于合同的并发C模块验证“，”author“：”Dahlweid“，”year“：”2009“}，{“key”：”10.1016\/j.jlamp.2018.03_br0350“，”series-tile“：”ESOP“，”first page:“176”，“article-title”：“非阻塞并发模块终止验证”，”author“：”da Rocha Pinto“，”year“：“2016”}，{“key”：“10.1016\/j.jlamp.2018.03_br0360”，“series-tile”：“ESOP”，“首页”：“420”，“article-title”：“Caper：细粒度并发的自动验证”，“author”：“Dinsdale-Young”，“year”：“2017”}“”：“CoLoSL:并发局部主观逻辑”，“author”：“Raad”，“year”：“2015”}，{“key”：“10.1016\/j.jlamp.2018.03.003_br0380”，“series-title”：“OOPSLA”，“first page”：”845“，“article-title”：”复杂并发索引的简单抽象“，”author“：”da Rocha Pinto“，”year“：”2011“}]，“container-title“：[“程序设计中的逻辑和代数方法杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S2352220817300871？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S2352220817300871？httpAccept=text\/plain”，“content-type”：“text\/plan”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}]，“存放”：{“日期-部分”：[2022,7,22]]，“日期-时间”：“2022-07-22T05:49:44Z”，“时间戳”：1658468984000}，“分数”：1，“资源”primary“：{”URL“：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S2352220817300871”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2018,8]]}，”references-count“：38，”alternative-id“：[”S23522208173000871“]，“URL”：“http://\/dx.doi.org\/101016\/j.jlamp.2018.03.003”，“relation”：{}，“ISSN”：[“2352-2208”]，“ISSN-type”：[{“value”：“2352-2202”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[2018,8]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher”，“label”：“This article is maintained by”}，{“value”：“A perspective on specification and verifying concurrent modules”，“name:”articlete“，”label“：”article Title“}，”{“值”：“Journal of Logical and Algebraic Methods in Programming：“journaltle”，“label”：“Journal Title”}，{“value”：“https:\/\/doi.org\/101016\/j.jlamp.2018.03.003”，“name”：“articlelink”，“标签”：“CrossRef doi link to publisher maintained version”}、{“值”：“文章”，“名称”：“content_type”，“标号”：“内容类型”}]}}