{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,25]]，“日期时间”：“2024-04-25T15:06:04Z”，“时间戳”：1714057564859}，“出版商位置”：“柏林，海德堡”，“参考计数”：26，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783662466681”，“类型”：“打印”}，{“值”：“9783662466698”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}，{“start”：{“date-ports”：[2015,1]]：“2015-01-01T00:00:00Z”，“时间戳”：1420070400000}，“内容-版本”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2015]]}，”DOI“：”10.1007\/978-3662-466669-8_29“，”type“：”book-chapter“，”created“：”{“date-part”：[[2015 4,1]]，“日期时间”：“2015-04-01T18:37:37Z”，“时间戳”：1427913457000}，“页面”：“710-735”，“源”：“交叉引用”，“被引用-被计数”：18，“标题”：[“CoLoSL:并发局部主观逻辑”]，“前缀”：“10.1007”，“作者”：[{“给定”：“杜鹃花”，“家族”：“Raad”，“序列”：“第一”，“从属关系”：[]}“given”：“Philippa”，“family”：“Gardner”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“29.CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“Bornat，R.，Calcagno，C.，Yang，H.：分离逻辑中作为资源的变量。ENTCS\u00a0155（2006）”，“doi”：“10.1016\/j.ENTCS.2005.11.059”}，{“key”：”29_CR2“，”doi-assert-by“：“crossref”，“非结构化”：“Calcagno，C.，O\u2019Hearn，P.W.，Yang，H.：局部动作和抽象分离逻辑。In：LICS（2007）”，“DOI”：“10.1109\/LICS.2007.30”}，{“key”：“29_CR3”，“series-title”：“计算机科学讲义”，“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.（ed.）ECOOP 2014。LNCS，第u00a08586卷，第207\u2013231页。Springer，Heidelberg（2014）“}，{“key”：“29_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Dijkstra，E.：自我稳定的迟到证明。分布式计算\u00a01（1）（1986）”，“doi”：“10.1007\/BF01843566”}Dijkstra，E.W.：分布式控制下的自我稳定系统。公社。ACM\u00a017（11）（1974）“，”DOI“：”10.1145\/361179.361202“}，{”key“：”29_CR6“，”DOI-asserted-by“：”crossref“，”unstructured“：”Dinsdale-Young，T.，Birkedal，L.，Gardner，P.，Parkinson，M.J.，Yang，H.：视图：并发程序的组合推理。In:POPL（2013）“，series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：”504“，”doi“：”10.1007\/978-3642-14107-2_24“，“volume-title”：“ECOOP 2010\u2013面向对象编程”，“author”：“T.Dinsdale-Young”，“year”：“2010”，“unstructured”：“Dinsdale-Young，T.，Dodds，M.，Gardner，P.，Parkinson，M.J.，Vafeiadis，并发抽象谓词。收录于：D\u2019Hondt，T.（编辑）ECOOP 2010。LNCS，第u00a06183卷，第504\u2013528页。Springer，Heidelberg（2010）“}，{”key“：”29_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“161”，”doi“：”10.1007\/978-3642-10672-9_13“，”volume-title“：“编程语言和系统”，”author“：”R.Dockins“，“year”：“2009”，“unstructured”：“Dockins，R.，Hobor，A.，Appel，A.W.：分离代数和共享核算的新视角。收录人：Hu，Z.（编辑）APLAS 2009。LNCS，卷\u00a05904，第161\u2013177页。Springer，Heidelberg（2009）“}，{”key“：”29_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“363”，”doi“：”10.1007\/978-3642-00590-9_26“，”volume-title“：“编程语言和系统”，”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“：”29_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Feng，X.：“局部相对保证推理。In:POPL.ACM（2009）”，“doi”：“10.1145\/1480881.1480922”}，“”key”：“29_CR11”，“doi-assert-by”：“”crossrev“”，“unstructure”：“Gardner，P.，Maffeis，S.，Smith，G.D.：面向JavaScript的程序逻辑。输入：POPL。ACM（2012）“，”DOI“：”10.1145\/2103656.2103663“}，{“key”：“29_CR12”，“DOI-asserted-by”：“crossref”，“unstructured”：“Gardner，P.，Maffeis，S.，Smith，G.D.：面向JavaScript的程序逻辑。In:POPL.ACM（2011）”，“DOI”：“10.1145\/2103656.2103663”}，“key“：”29_CR13Gardner，P.，Raad，A.，Wheelhouse，M.，Wright，A.：并发库的抽象局部推理：注意差距。In:MFPS（2014）“，”DOI“：”10.1016\/j.entcs.2014.10.009“}，{“key”：“29_CR14”，“DOI-asserted-by”：“crossref”，“unstructured”：“Hobor，A.，Villard，j.：数据结构中共享的分支。In:POPL（2013）”，“DOI”：“10.1145\/24229069.2429131”}，“key“：”29_CR15“，”DOI-assert-by“：”crossref.“，”非结构化“：”Ishtiaq，S.S.，O\u2019Hearn，P.W.：BI作为可变数据结构的断言语言。在：POPL（2001）“，”DOI“：”10.1145\/360204.357719“｝，｛”key“：”29_CR16“，”非结构化“：”Jones，C.B.：（并行）程序的规范和设计。在：IFIP Cong（1983）“｝，｛”key“：”29_CR17“，”系列标题“：”计算机科学讲义“，”DOI断言由“：”crossref“，”首页“：”290“，”DOI“：”10.1007\/978-3-642-54833-8_16“，”卷标题“：”编程语言和系统”，“作者”：“A.Nanevski”，“年份”：“2014年”，“非结构化”：“Nanevski，A.，Ley-Wild，R.，Sergey，I.，Delbianco，G.A.：通信细粒度并发资源的状态转换系统。摘自：邵，Z.（编辑）《2014年员工持股计划》（ETAPS）。LNCS，第u00a08410卷，第290\u2013310页。Springer，Heidelberg（2014）“}，{”key“：”29_CR18“，”doi-asserted-by“：”crossref“，”unstructured“：”O\u2019Hearn，P.W.：资源、并发和局部推理。TCS\u00a0375（1-3）（2007）“，”doi“：”10.1016\/j.TCS.2006.12.035“}”，{“key”：“29_CR19”，“series-title”：“计算机科学讲稿”，“第一页”：“1”，“volume-title”：”计算机科学逻辑“，”author“：”P.W.O\u2019Hearn“，”year“：”2001“，”unstructured“：”O\u209Hearn，P.W.，Reynolds，J.C.，Yang，H.：关于改变数据结构的程序的局部推理。收录于：Fribourg，L.（编辑）CSL 2001和EACSL 2001。LNCS，第\u00a02142卷，第1页。Springer，Heidelberg（2001）“}，{“key”：“29_CR20”，“doi-asserted-by”：“crossref”，“unstructured”：“Raad，A.，Villard，J.，Gardner，P.：CoLoSL:Concurrent Local Subjective Logic（2014），\n\n http://www.doc.ic.ac.uk\/~azalea\/ESOP2015\/CoLoSL-TR.pdf”，“doi”：“10.1007\/978-3-62-4669-8_29”}，}，“key“：”29_CR21“，“”非结构化”：“Reynolds，J.C.：分离逻辑：共享可变数据结构的逻辑。单位：LICS。IEEE Computer Society（2002）“}，{“key”：“29_CR22”，“unstructured”：“Reynolds，J.C.：关于分离逻辑的短期课程（2003），\n\n http://www.cs.cmu.edu \/afs \/cs.cmu.eud \/project \/fox-19 \/member \/jcr\/wwwaac2003\/notes7.ps”}doi-asserted-by“：”crossref“，”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.：实用型并发抽象谓词。摘自：邵，Z.（编辑）《2014年员工持股计划》（ETAPS）。LNCS，卷\u00a08410，第149\u2013168页。Springer，Heidelberg（2014）“}，{”key“：”29_CR24“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“169”，”doi“：”10.1007\/978-3642-37036-6_11“，”volume-title“：“编程语言和系统”，”author“：”K.Svendsen“，”year“：”2013“，”unstructured“：”Svendsen，K.，Birkedal，L.，Parkinson，M.：关于并发数据结构分离的模块化推理。摘自：Felleisen，M.，Gardner，P.（编辑）《2013年员工持股计划》。LNCS，卷\u00a07792，第169\u2013188页。Springer，Heidelberg（2013）“}，{“key”：“29_CR25”，“doi-asserted-by”：“crossref”，“unstructured”：“Turon，A.，Dreyer，D.，Birkedal，L.：统一高阶并发逻辑中的精化和灰白色推理。SIGPLAN Not\u00a09（2013）”，“doi”：“10.1145\/2544174.2500600”}，}，“key“：”29_CR26“，”series-time“：“计算机科学课堂笔记”，“doi-asserted-by“：”crossref“，”first page“：”256“，“doi”：“10.1007\/978-3-540-74407-8_18”，“volume-title”：“CONCUR 2007\u2013并发理论”，“author”：“V.Vafeiadis”，“year”：“2007”，“unstructured”：“Vafeiadis，V.，Parkinson，M.：依赖和分离逻辑的结合。收录：Caires，L.，Vasconcelos，V.T.（编辑）CONCUR 2007。LNCS，卷\u00a04703，第256\u2013271页。Springer，Heidelberg（2007）“}]，“container-title”：[“Programming Languages and Systems”，“Teach Notes in Computer Science”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3662-46669-8_29”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}，“存放”：{date-parts“：[[2019,5,29]]，”date-time“：”2019-05-29T18:15:00Z“，”timestamp“：1559153700000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com\/10.1007\/978-3662-46669-8_29“}”，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-part”：[2015]]}，“ISBN”：[“9783662466666”81“，”9783662466698“]，”references-count“：26，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3662-46669-8_29“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2015】】}}}}