{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,15]]，“日期-时间”：“2024-05-15T20:55:59Z”，“时间戳”：1715806559371}，“参考-计数”：27，“出版商”：“IEEE”，“许可证”：[{“开始”：“日期-零件”：[[2021,6,29]]，”日期-时间“：”2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“vor”，“延迟天数”：0，“URL”：“https://ieeexplore.ieee.org/Xplorehelp\/downloads\/license-information\/ieee.html”｝，｛“开始”：｛“日期部分”：[[2021,6,29]]，“日期时间”：“2021-06-29T00:00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-029”｝，｛“开始”：｛“日期零件”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2021,6,29]]}，“doi”：“10.1109\/lics52264.2021.9470583”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：10，“title”：[“HyperLTL的异步扩展”]，“prefix”：“10.1109”，”author“：[{”given“：”Laura“，”family“：”Bozzelli“，“sequence”：“first”，“affiliation”：[]}，{“given”：“Adriano”，“family”：“Peron”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Cesar”，“family”：“Sanchez”，“序列”：“附加”，“从属”：[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-27940-9_12 I“：”10.1007\/978-3642-54792-8_15“}，{“键”：“参考12”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3662-46678-0_11”}，{“key”：“ref13”，“article-title”：“信息流控制的时序逻辑方法”，“author”：“rabe”，“year”：“2016”，“journal-title“：”博士学位论文“}，“key“：“finkbeiner”，“year”：“2016”，“journal-title”：“Proc 27th CONCUR ser LIPIcs”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.2019.8785713”}}，{“键”：“参考17”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（87）90008-9”}，{“key”：“ref18”，“doi-asserted-by”：”publisher“，“doi:”10.1016\/0022-0000（79）90046-1“}，}“key:”ref19“，”article-title“：”Temporal hyperproperties“，”volume“：”123“，”author“：”finkbeiner“，”year“：”2017“，”journal-title”：“Bull EA:”TCS“}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/4904.4999”｝，｛“key”：“ref27”，“author”：“minsky”，“year”：“1967”，“journal title”：“Computation Finite and Infinite Machines”｝，｛“key”：“ref3”，“doi asserted by”：“publisher”，“doi”：“10.1109\/SFCS.1977.32”｝，｛“key”：“ref6”，“doi asserted by”：“publisher”，“doi”：“10.1109\/SP.182.1014”｝，｛“key”：“ref5”，“doi asserted by”：“发布者”，“doi”：“10.3233\/JCS-2009-0393”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/CSFW.2003.1212703”}“作者”：“queille”，“年份”：“1981”，“journal-title”：“SP'81 ser LNCS”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/978-3319-21690-4_3”}异步超属性的点“，”卷“：”4“，“author”：“gutsfeld”，“year”：“2021”}，{“key”：“ref22”，“首页”：“30:1”，“article-title”：“超属性的一阶逻辑”，“volume”：”66“，”author“：”finkbeiner“，”year“：”2017“，”journal-title“：”Proc 34th STACS ser LIPIcs“}，”{“key”：“ref21”，“article-title”：“异步超属性的时序逻辑”，”volume“：”12759“，”author“：”鲍迈斯特“，“year”：“2021”，“journal-title”：“Proc of 33rd CAV’21 ser LNCS”}，{“key”：“ref24”，“author”：“hopcroft”，“year:”1979“，”journal-title“：”Introduction to Automata Theory Languages and Computation“}，”{“密钥”：“ref23”，“article-title“:”Asynchronous extensions of HyperLTL“，”author“：”bozzelli“，”year“：”2021，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/s10703-009-0067-z”}，{“key”：“ref25”，“DOI-asserted-by”：“publister”，“DOI”：”10.1006\/inco.1994.1092“}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{“date-parts”：[2021,6,29]]}，“end”：{date-part“2021,7,2]]}}，“集装箱运输”：[“2021年第36届ACM\/IEEE年度计算机科学逻辑研讨会（LICS）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7 \/947097\/9470583.pdf？arnumber=9470583”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,]5,10]]，“date-time”：“2022-05-10T15:46:22Z”，“timestamp”：1652197582000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470583\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2021,6,29]}，‘references-count’：27，”URL“：”http://\/dx.doi.org \/10.109 \/lics52264.2021.9470583“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[2021,6,29]]}}