{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,31]]，“日期时间”：“2022-03-31T06:55:09Z”，“时间戳”：1648709709151}，“引用-计数”：7，“发布者”：“开放发布协会”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.259.3”，“type”：“journal-article”，“created”：{“date-parts”：[[2017,10,8]]，“date-time”：“2017-10-08T02:37:44Z”，“timestamp”：1507430264000}，“page”：”31-38“source”：《Crossref》，“is-referenced-by-count”：0，“title”：[“基于因果关系的模型检查”]，“prefix”：“10.4204”，“volume”：“259”，“author”用法：[{“given”：“Bernd”，“family”：“Finkbeiner”，“sequence”：“first”，“affiliation”：“[{”name“：”University\u00e4t des Saarlandes“}]}，{”given“：”Andrey“，”family“：”Kupriyanov“，”sequence“：”additional“，”affiliance“：[{“name”：“Institute of Science and Technology Austria”}]}]，“member”：“2720”，“published on”：{“date-parts”：[2017,10,10]]}，“引用”：[{“键”：“Clarke \/设计与合成”，“doi-asserted-by”：“publisher”，“first page”：“52”，“doi”：“10.1007 \/BFb0025774”，“article-title”：“使用分支时间时序逻辑设计与合成同步骨架”，“volume-title“：“程序逻辑，研讨会，纽约约克敦高地，1981年5月”，“author”：“Clarce”，“year”：“1981”}，{“key”：“Esparza展开”，“series-title”：“理论计算机科学专著。EATCS系列”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-77426-6”，“volume-title”：：“Kupriyanov”，“year”：“2016”}，{“key”：“Safety”，“doi-asserted-by”：“publisher”，“first-pages”：“257”，“doi”：“10.1007\/978-3642-40184-8_19”，“article-title”：“基于因果关系的多线程程序验证”，“volume-title“：”CONCUR 2013-并发理论-第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27-30日。Proceedings”，“author”：“Kupriyanov”，“year”：“2013”}，{“key”：“Liveness”，“doi-asserted-by”：“publisher”，“first-page”：“814”，“doi”：“10.1007\/978-3319-08867-9_54”，“article-title”：“多线程程序的因果终止”，“volume-title“计算机辅助验证-第26届国际会议，CAV 2014，奥地利维也纳，2014年7月18-22日。Proceedings“，”author“：”Kupriyanov“，”year“：”2014“}，{”issue“：”8“，”key“：”Lamport\/Bakery“，”doi-asserted-by“：”publisher“，”first-page“：”453“，”doi“：”10.1145\/361082.361093“，”article-title“：”Dijkstra并发编程问题的新解决方案“，”volume“：“17”，“author”：“Lamport”，“year”：“1974”，“journal-title”：“Commun.ACM”}，{“密钥”：“DBLP:conf\/gg\/1997handbook“，”volume-title“：”Graph Grammars and Computing by Graph Transformations Handbook，volume 1:Foundations“，”year“：”1997“}]，”container-title”：[“Electronic Proceedings in Theoretical Computer Science”]，”original-tittle“：[]，”language“：”en“，“deposed”：{“date-parts”：[2017,10,17]]，“date-time”：“2017-10-17T00:23:57Z”，“timestamp“：1508199837000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/arxiv.org\/abs\/1710.03391v1“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2017,10,10]]}，《references-count》：7，“URL”：“http://\/dx.doi.org\/10.4204\/eptcs.259.3”，“relation”：{}，N“：[”2075-2180“]，“ISSN-type”：[{“value”：“2075-2160”，“type”:“electronic”}]，“主题“：[]，”已发布“：{“日期部分”：[[2017,10,10]]}}