{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,1,25]]，“日期-时间”：“2023-01-25T22:26:26Z”，“时间戳”：1674685586648}，“引用-计数”：23，“发布者”：“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]]，“日期-时间”：“2021-06-29T000:00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https:\/\/doi.org/10.15223\/policy-037”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已发布的印刷品”：｛“日期部分”：[[2021,6,29]]｝，“doi”：“10.1109\/lics52242.021.94700737”，类型“：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Removing Redundant Refsals:Minimal Complete Test Suites for Failure Trace Semantics”]，“prefix”：“10.1109”，”author“：[{”given“Maciej”，“family”：“Gazda”，“sequence”：“”第一个“，“附属关系”：[]｝，｛“给定”：“Robert M.”，“家族”：“等级”，“序列”：“附加”，“附属关系”：[]｝]，“成员”：“263”，“引用”：[｛“密钥”：“ref10”，“doi断言者”：“publisher”，“doi”：“10.1016\/S019-9958（86）80031-6”｝，｛“密钥”：“ref11”，“doi断言者”：“publisher”，“doi”：“10.1002\/stvr.427”｝，｛“密钥”：“ref12“，”doi断言“：”publisher“，”doi“：“10.1007\/978-0-387-35271-8_2”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1459352.1459354”}key“：”ref16“，”article-title“：”Gedanken-experiments“，”author“：”moore“，”year“：”1956“，“journal-title”：“Automata Studies”}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.scico.2019.04.004”}“，”journal-title“：”计算机科学中的文本“}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-37057-1_26”}，{“密钥”：“ref3”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/j.tcs.2018.12.004，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3379508”}，{“key”：“ref8”，“article-title”：“线性时间分支时间谱I。具体、连续过程的语义”，“author”：“glabbeek”，“year”：“2001”，“journal-title”：“过程代数手册”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/3-540-59293-8_188“}，”{“key”：”ref2“，”doi-assert-by“：”publisher“，”doi:“10.4204\/EPTCS.8.1”}“，{”key“：”ref1“，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S0960129511000375”}，{“key”：“ref9”，“first-page”：“6:1”，“article-title”：“带超时的过程代数的反应式双模拟语义”，“author”：“glabeek”，“year”：“2020”，“journal-title“：”第31届并行理论国际会议（CONCUR 2020）LIPIcs第171卷“}，”{“密钥”：“ref20”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.1994.1028”}，{“key”：“ref22”，“doo-asserted-by”：”publisher“，”doi“：”10.1007\/978-3-540-78917-8_1“}”，{”key“：”ref21“，”article-title“：”一致性测试的正式方法“，”author“：”tretmans“，“year”：“1992”，“journal-title”：“博士论文”}、{“key”：”ref23“，”doi asserted-by“：”publisher“，”doi“：“10.1109\/12.559807”}]，“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年ACM\/IEEE计算机科学中逻辑研讨会（LICS）“]，”原文标题“：[]，”链接“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx7\/9470497\/9470751\/09470737.pdf？arnumber=9470737”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[2022,5,10]]，“日期-时间”：“2022-05-10T15:46:20Z”，“时间戳”：1652197580000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470737\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2021,6,29]]}，”引用计数“：23，”URL“：”http://\/dx.doi.org\/10.1009\/lics52264.2021.9470737“，”关系“：{}”，“主题”：[[]，”已发布“：{”日期部分“：[2021,6,29]”6,29]]}}}