｛“状态”：“确定”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,4,4]]，“日期-时间”：“2022-04-04T14:45:43Z”，“时间戳”：1649083543684｝，“引用计数”：14，“发布者”：“爱思唯尔BV”，“发布”：“5”，“许可证”：[｛“开始”：｛“日期部分”：[[2007,5,1]]，“日期-时间”：“2007-05-01T00:00:00Z”，“时间戳”：1177977600000}中，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：2305，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Calculation”]，“published-print”：{“date-parts”：[[2007,5]]}，”DOI“：”10.1016\/j.ic.2006.11.002“，”type“：”journal-article“，”created“：{”date-part“：[[2006,12,21]]，”date-time“：”2006-12-21T15:14:16Z“，”timestamp“：1166714056000}”，“page”：“707-715”，“source”“：”Crossref“，“is-referenced-by-count”：1，“title”：[“具有不可公度距离的时间逻辑是不可判定的”]，“prefix”：“10.1016”，“volume”：“205”，“author”：[{“given”：”Alexander“，“family”：“Rabinovich”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[}“key”：‘10.1016\/j.ic.2006.11.002_bib1’，“doi-asserted-by”：”crossref“，”首页“：”116“，”doi“：“10.1145\/227595.227602”，“article-title”：“放松守时的好处”，“volume”：“43”，“author”：“Alur”，“year”：“1996”，“journal-title“：”J.ACM“}，{“key”：”10.1016\/J.ic.2006.11.002_bib2“，“unstructured”：“R.Alur，T.A.Henzinger，Logics and models of real-time:A survey，in：de Bakker，et al.（Eds.）《实时：理论与实践》，《计算机科学课堂讲稿》600，1992年，第74\u2013106页。“}，{“key”：“10.1016\/j.ic.2006.11.002_bib3”，“doi-asserted-by”：“crossref”，“unstructured”：“H.Barringer，R.Kuiper，A。Pnueli，一个真正抽象的并发模型及其时间逻辑，载于：《第13届编程语言原理年会论文集》，1986年，第173\u2013183.页。“，”DOI“：”10.1145\/512644512660“｝，”key“：”10.1016\/j.ic.2006.11.002_bib4“，”volume“：”vol.1“，”author“：”Gabbay“，”year“：”1994“｝，”key“：”10.1016\/j.ic.2006.11.002_bib5“，”doi-asserted-by“：”crossref“，”unstructured“：”T.A.Henzinger，It\u2019s about time:real-time logics reviewed，in：Concur 98，《计算机科学讲义》14661998.“，”doi“：”10.1007\/BFb0055640“}，{“key”：“10.1016\/j.ic.2006.11.002_bb6”，“series-title”：“Computer Science Logic 1999”，“first page”：”172“，“article-title”：”定量时间逻辑”，“作者”：“Hirshfeld”，“年份”：“1999”}，{“问题”：“1”，“关键”：“10.1016\/j.ic.2006.11.002_bib7”，“首页”：“一”，“文章标题”：“实时逻辑：可判定性和复杂性”，“卷”：“62”，“作家”：“希尔什菲尔德”，“年”：“2004”，“新闻标题”：”基金会信息“}，}“问题“：”2”，“重点”：“101016 \/j.ic.2006.11.002_bb8“，”doi-asserted-by“：”crossref“，”first page“：”148“，“doi”：“10.1016\/j.ic.2004.12.002”，“article-title”：“计时器公式和可判定的度量时间逻辑”，“volume”：“198”，“author”：“Hirshfeld”，“year”：“2005”，“journal-title“：”Inform。计算。“}，{”key“：”10.1016\/j.ic.2006.11.002_bib9“，”unstructured“：”H.Kamp，时态逻辑和线性秩序理论，洛杉矶加州大学博士论文，1968年。“作者”：“Manna”，“年份”：“1993年”，“新闻标题”：“信息学报”。“}，{”key“：”10.1016\/j.ic.2006.11.002_bb11“，”doi-asserted-by“：”crossref“，”unstructured“：”j.S.Miller，《时间自动机和半线性混合自动机的可判定性和复杂性结果》，in：hybrid Systems:Computes and Control 2000，《计算机科学讲义1790》，第296\u2013310页。“，”doi“：”101007\/3-540-46430-1_26“}”，{“issue”：“4”，“key“：”10.1016\/j.ic.2006.11.002_bib12“，”doi-asserted-by“：”crossref“，”first-page“：”255“，“doi”：“10.1007\/BF01995674”，“article-title”：“用度量时态逻辑指定实时属性”，“volume”：“2”，“author”：“Koymans”，“year”：“1990”，“journal-title“：”实时系统。“}，{”key“：”10.1016\/j.ic.2006.11.002_bib13“，”doi-asserted-by“：”crossref“，”first page“：“135”，“doi”：“10.1023\/A:1008319830371”，“article-title”：“时间自动机的一个不可判定问题”，“volume”：“9”，“author”：“Puri”，“year”：“1999”，“journal-title“：”离散事件动态系统：理论和应用“}”，{“key”：”10.116\/j.ic。2006.11.002_bib14“，”doi由“：”crossref“，”first page“：”694“，”doi“：”10.1007\/3-540-58468-4_191“，”文章标题“：”在强大的可判定逻辑和时间自动机中指定时间状态序列“断言。在实时和容错系统的形式技术中，“author”：“Wilke”，“year”：“1994”，“journal-title”：“计算机科学863课堂讲稿”}]，“container-title“：[“Information and Computation”]，“original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0890540106001623？httpAccept=text\/xml”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0890540106001623？httpAccept=text\/plain“，”content-type”：“text\/plan”，“content-versiion”：“vor”，“intended-application”：“文本-mining”}，“deposed”：{“date-parts”：[2019,4,23]]，“日期时间”：“2019-04-23T09:11:39Z“，”timestamp“：1556010699000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0890540106001623”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：int“：{“date-parts”：[[2007,5]]}}，“alternative-id”：[“S0890540106001623“]，“URL”：“http://\/dx.doi.org\/10.1016\/j.ic.2006.11.002”，“关系”：{}，“ISSN”：[“0890-5401”]，“ISSN-type”：[{“值”：“0890-5 401”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[2007,5]]}}}}