{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,28]]，“日期-时间”：“2024-05-28T09:56:39Z”，“时间戳”：1716890199338}，“引用-计数”：27，“发布者”：“IEEE”，“许可证”：[{“开始”：{-“日期-零件”：[2021,6,29]]，”日期-时间“：”2021-06-29T00:00:00 Z“，”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.9470623”，“类型”：“议事录文章”，“已创建”：｛“日期部分”：[[2021,7,7]，“日期-时间”：“2021-07-07T20:14:07Z”，“时间戳”：1625688847000｝，“来源”：“Crossref”，“由计数引用”：5，“标题”：[“可逆主事件结构的分布式操作视图”]，“前缀”：“10.1109”，“作者”：[｛“给定”：“Hernan”，“家族”：“Melgratti”，“序列”：“第一个”，“附属关系”：[]}，{“given”：“Claudio Antares”，“family”：“Mezzina”，“sequence”：“additional”，“affiliation”：[]neneneep，{”given“：”G.“，”family“：”Michele Pinna“，”sequence“：”additional“，”affiliation:[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，“doi-asserted-by”：”publisher“，“doi”：“10.1007\/978-3642-37036-6_21”}，}“”key“：”ref11“，”首页“：”167“，”author“：”lanese“，”year“：“2019”，“journal-title”：“分布式对象组件和系统的形式化技术-第39届IFIP WG 6 1 2019年FORTE国际会议”}，{“key”：“ref12”，“first-pages”：“331”，“article-title“：“Bundle event structures:A non-interleaving semantics for lotos”，“author”：“langerak”，“year”：“1993”，“日记标题”：“FORTE’92会议记录”}，{“key”：“ref13”，“首页”：“255”，“文章标题”：“建立软件事务内存的正式帐户”，“作者”：“medic”，“年份”：“2020”，“期刊标题”：“可逆计算-第12届国际会议RC 2020”}，{“key”：“ref14”，“文章标题”：“反向位置转换网”，“卷”：“16”，“作者”：“melgratti”，“年份”：“2020”，“journal-title”：“计算机科学中的逻辑方法”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3030-52482-1_2”}，{“key”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（81）90112-2”}，{“key”：“ref19”，“author”：“nielsen”，“year”：“2016”，“journal-title”：“Quantum Computation and Quantum Information 10周年纪念版”}“，”日志标题“：“Petri网应用程序和与其他并发模型的关系”}，{“key”：“ref3”，“first page”：”91“，“article-title”：“用有色Petri网建模的反向计算”，“author”：“barylska”，“year”：“0”}我“：“10.1007\/3-540-53479-2_4”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/11539452_31”}“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-030-47361-7_7”}，{“key“：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-030-47361-7_1”}，{“key”：“ref20”，“doi-asserte-by”：“publisher”，“DI:”10.1007\/978-3-319-99498-7_6“}，}“key:”ref22“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-3642-36315-3_18“}”，{”key“：”ref21“，”serted-by“：”publisher“，”doi“：”10.1016\/j.jlamp.2015.07.004“}，{”key“：”ref24“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1995.523257”}，{“key”：“ref23”，“doo-asserted-by”：”publisher“，”doi“：”10.1007\/978-3642-21834-7_7“}，“key“：”ref26“，”doi-assert-by“：”publister“，”doi“：“10.1016\/j.tcs.2009.06.014”}：“van glabbeek”，“年份”：“2004年”，“新闻标题”：“MFCS’04 Conference Proceedings”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{“date-parts”：[2021,6,29]]}，“end”：}“date-parts”：[[2021,7,2]}}，”container-title“：[”“2021第36届APM\/IEE计算机科学逻辑学术研讨会（LISS）”]，“original-title”：[]，“link”用法：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470623.pdf？arnumber=9470623”，“content-type”：“unspecified”，“内容版本”：“vor”，“intended-application”：“similarity-checking”}，“存放”：{“date-parts”：[2022,5,10]]，“日期-时间”：“2022-05-10T15:46:21Z”，“时间戳”：1652197581000}，”分数：1，“资源”：{“主”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470623\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期parts”：[[2021,6,29]]}，”引用计数“：27，”URL“：”http://\/dx.doi.org\/10.109\/lics52264.2021.9470623“，”关系“：{}”，“主题”：[[]，”已发布“：{”日期parts“：[2021,6,29]”6,29]]}}}