{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,5]]，“日期-时间”：“2024-09-05T17:56:28Z”，“时间戳”：1725558988778}，“出版商位置”：“柏林，海德堡”，“参考-计数”：26，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540253334“}，{”类型“：“electronic”，“value”：“9783540319801”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31980-1_33“，”type“：”book-capter“，”created“：{”date-ports“：[2010,7,11]]，”date-time“：”2010-07-11T22:44:55 9Z“，”时间戳“：1278888299000}，”页面“：”510-525“，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“Snapshot Verification”]，“prefix”：“10.1007”，”author“：[{”given“：”Blaise“，”family“：”Genest“，”sequence“：”first“，”affiliation“：[]}，{”jiven“:”Dietrich“，”fumily“:”Kuske“，“隶属关系”：[]}，{“给定”：“Doron”、“family”：“Peled”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“33_CR1”，《series-title》：“计算机科学讲义”，“doi-asserted-by”：《出版商》，“首页”：“42”，“doi”：“10.1007\/978-3-540-45187-7_3”，：“2003”，“非结构化”：“Alur，R.、Chaudhuri，S.、Etessami，K.、Guha，S.和Yannakakis，M.：部分有序弦的压缩。收录：Amadio，R.M.、Lugiez，D.（编辑）CONCUR 2003。LNCS，第u00a02761卷，第42\u201356页。Springer，Heidelberg（2003）“}，{”key“：”33_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“797”，”doi“：”10.1007\/3-540-48224-5_65“，”volume-title“：“自动化、语言和编程”，”author“：”R.Alur“，“year”：“2001”，“unstructured”：“Alur，R.，Etessami，K.，Yannakakis，M.：MSC图的可实现性和验证。收录人：Orejas，F.、Spirakis，P.G.、van Leeuwen，J.（编辑）ICALP 2001。LNCS，第u00a02076卷，第797\u2013808页。Springer，Heidelberg（2001）“}，{“问题”：“5”，“关键”：“33_CR3”，“doi-asserted-by”：“出版商”，“首页”：“672”，“doi”：“10.1145\/58565.585270”，“卷”：“49”，“作者”：“R.Alur”，“年份”：“2002”，“非结构化”：“Alur，R.，Henzinger，T.A.，Kupferman，O.：交替时间时序逻辑.JACM\u00a049（5），672\u2013 713（2002）“，”journal-title“：”JACM“}，{”key“：”33_CR4“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”41“，”doi“：”10.1007\/BFb0055039“，”volume-title“：“自动化、语言和编程”，”author“：”R.Alur“，“year”：“1998”，”unstructured“：”Alur，R.，McMillan，K.，Peled，D.：决定全球部分序属性。收录：Larsen，K.G.，Skyum，S.，Winskel，G.（编辑）ICALP 1998。LNCS，第u00a01443卷，第41\u201352页。Springer，Heidelberg（1998）“}，{”key“：”33_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Alur，R.，Peled，D.，Penczek，W.：因果属性的模型检查。In:LICS 1995，pp.90\u2013100（1995）“，”doi“：”10.1109\/LICS.1995.523247“}”，{“key”：“33_CR6”，“doi-assert-by”：“publisher”，“first page”：”63“”，“doi”：“10.1145 \/214451.214456“，”卷“：”3“，”作者”：“K.M.Chandy”，“年份”：“1985”，“非结构化”：“Chandy，K.M.，Lamport，L.：分布式快照：确定分布式系统的全局状态。ACM计算机系统汇刊\u00a03，63\u201375（1985）”，“期刊标题”：“ACM计算机系统汇刊”}，｛“key”：“33_CR7”，“series title”：“人工智能讲义”，“doi断言”：“publisher”，“首页”：“55”，“doi”：“10.1007\/3-540-445653-8_4”，“卷标题”：“《编程、人工智能和推理逻辑》，“作者”：“V.Diekert”，“年份”：“2001年”，“非结构化”：“Diekert，V.，Gastin，P.：局部时序逻辑对于Cograph依赖字母表是完全的。收录：Nieuwenhuis，R.，Voronkov，A.（编辑）LPAR 2001。LNCS（LNAI），第u00a02250卷，第55\u201369页。Springer，Heidelberg（2001）“}，{”key“：”33_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“232”，”doi“：”10.1007\/978-3-540-24698-5_27“，”volume-title“：“LATIN 2004:理论信息学”，”author“：”V.Diekert“，”year“：”2004“，”unstructured“：”Diekert，V.，Gastin，P.：Mazurkiewicz痕迹的纯粹未来局部时间逻辑是完全的。收录：Farach-Colton，M.（编辑）LATIN 2004。LNCS，卷\u00a02976，第232\u2013241页。Springer，Heidelberg（2004）“}，{”key“：”33_CR9“，”doi-asserted-by“：”publisher“，”doi“：”10.1142\/9789814261456“，”volume-title“：”The Book of Traces“，“author”：”V.Diekert“，”year“：”1995“，”unstructured“：”Diekert，V.，Rozenberg，G.：The Book ofTraces.World Scientific，Singapore（1995）“，”非结构化“：”Emerson，E.A.，Jutla，C.S.：树自动机和程序逻辑的复杂性。In:FOCS 1988（1988）“，”DOI“：”10.1109\/SFCS.1988.21949“}，{”issue“：”3“，”key“：”33_CR11“，”DOI-asserted-by“：”publisher“，”first page“：“299”，”DOI:“10.1109\/71.277788”，”volume“:”5“，”author“：”V.K.Garg“，”year“：”1994“，”unstructured“：”Garg，V.K.，Waldecker，B.：检测分布式程序中的弱不稳定谓词。IEEE Transactions on Parallel and Distributed Systems\u00a05（3），299\u2013307（1994）“，”journal-title“：”IEEE Translations on Paralleland Districated Systems“}，{“key”：“33_CR12”，“series-title”：“Counter Notes in Computer Science”，“doi-asserted-by”：“publisher”，“first-page:”222“，”doi“：”10.1007\/978-3-540-45187-7_15“，”卷时间“：”CONCUR 2003：并发理论”，“作者”：“P.Gastin”，“年份”：“2003”，“非结构化”：“Gastin，P.，Kuske，D.：MSO可定义时序逻辑的可满足性和模型检查在PSPACE中。收录：Amadio，R.M.，Lugiez，D.（编辑）CONCUR 2003。LNCS，第u00a02761卷，第222\u2013236页。Springer，Heidelberg（2003）“}，{”key“：”33_CR13“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“938”，”doi“：”10.1007 \/3-540-45465-9_80“，”volume-title“：“Automata，Languages and Programming”，”author“：”P.Gastin“，”year“：”2002“，”unstructured“：”Gastin，P.，Mukund，M.：Mazurkiewicz痕迹的基本表达完整时间逻辑。收录人：Widmayer，P.、Triguero，F.、Morales，R.、Hennessy，M.、Eidenbenz，S.、Conejo，R.（编辑）ICALP 2002。LNCS，第00a02380卷，第938页\u2013949。Springer，Heidelberg（2002）“}，{“key”：“33_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“Gerth，R.，Peled，D.，Vardi，M.，Wolper，P.：线性时间逻辑的简单实时自动验证。收录于：PSTV 1995，pp.3\u201318（1995）”，“doi”：“10.1007\/978-0-34892-6_1”}，}“key”：“33 _CR15”，“series-title”：“计算机科学课堂笔记”doi-asserted-by“：”publisher“，”first page“：”326“，”doi“：”10.1007\/3-540-45995-2_31“，”volume-title“：”LATIN 2002:理论信息学“，”author“：”B.Genest“，”year“：”2002“，”unstructured“：”Genest，B.，Muscholl，A.：层次消息序列图的模式匹配和成员身份。收录：Rajsbaum，S.（编辑）LATIN 2002。LNCS，第u00a02286卷，第326\u2013340页。Springer，Heidelberg（2002）“}，{”key“：”33_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”Peled，D.，Pnueli，A.：证明部分顺序活性属性。In:ICALP 1990，pp.553\u2013571（1990）“，”doi“：”10.1007\/BFb0032058“}”，{“key”：“33_CR17”，“series-title”：“计算机科学课堂讲稿”，”doi-asserted-by“：“publisher”，“first page”：8英寸DOI“：”10.1007\/3-540-45022-X_55“，”volume-title“：”Automata，Languages and Programming“，”author“：”D.Kuske“，”year“：”2000“，”unstructured“：”Kuske，D.：无限系列并行Pomsets:逻辑和语言。收录人：Welzl，E.，Montanari，U.，Rolim，J.D.P.（编辑）ICALP 2000。LNCS，卷\u00a01853，第648页\u2013662。Springer，Heidelberg（2000）“}，{“key”：“33_CR18”，“series-title”：“计算机科学讲义”，“首页”：“279”，“volume-title”：《Petri网进展》1986。《高级课程论文集》，Bad Honnef，8.-19。1986年9月”，“作者”：“A.Mazurkiewicz”，“年份”：“1987”，“非结构化”：“Mazurkiewicz，A.：跟踪语义。收录：Brauer，W.、Reisig，W.和Rozenberg，G.（编辑）APN 1986。LNCS，第u00a0255卷，第279\u2013324页。Springer，Heidelberg（1987）“}，{”key“：”33_CR19“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“251”，”doi“：”10.1007\/978-3-540-45187-7_17“，”volume-title“：“CONCUR 2003-并发理论”，”author“：”N.Markey“，”year“：”2003“，”unstructured“：”Markey，N.，Schnoebelen，P.：模型选择路径。收录：Amadio，R.M.，Lugiez，D.（编辑）CONCUR 2003。LNCS，第u00a02761卷，第251\u2013265页。Springer，Heidelberg（2003）“}，{“key”：“33_CR20”，“doi-asserted-by”：“crossref”，“unstructured”：“Peled，D.：消息序列图的规范和验证。收录于：FORTE\/PSTV 2000，pp.139\u2013154（2000）”，“doi”：“10.1007\/978-0-387-35533-7_9”}，“key“：”33_CR21“doi-sserted-by 4-3975（94）90009-4”，“卷”：“126”，“作者”：“D.Peled”，“年份”：“1994”，“非结构化”：“Peled，D.，Pnueli，A.：证明偏序性质。理论计算机科学\u00a0126143\u2013182（1994）”，“期刊标题”：“理论计算机科学”}，｛“键”：“33_CR22”，“doi断言”：“crossref”，“第一页”：“262”，“doi”：“10.1007\/978-3-642-60207-8_23”，“卷标题”：“珠宝永恒”，“作者”：“W.Plandowski”，“年份”：“1999”，“非结构化”：“Plandowski，W.，Rytter，W.：压缩词的语言识别问题的复杂性。In：《珠宝恒久远》，第262\u2013272页。Springer，Heidelberg（1999）“}，{”key“：”33_CR23“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“357”，”doi“：”10.1007\/BFb0028758“，”volume-title“：“计算机辅助验证”，”author“：”S.Stoller“，”year“：”1998“，”unstructured“：”Stoller，S.，Liu，Y.A.：分布式系统中全局属性的高效符号检测。收录：Y.Vardi，M.（编辑）CAV 1998。LNCS，第u00a01427卷，第357\u2013368页。Springer，Heidelberg（1998）“}，{“问题”：“2”，“关键”：“33_CR24”，“doi-asserted-by”：“出版商”，“首页”：“230”，“doi”：“10.1006\/inco.2001.2956”，“卷”：“179”，“作者”：“P.S.Thiagarajan”，“年份”：“2002”，“非结构化”：“Thiagarajan，P.S.，Walukiewicz，I.：Mazurkiewicz踪迹的表达完整线性时间时序逻辑。信息与计算\u00a0179（2），230\u2013249（2002）“，”journal-title“：”Information and Computation“}，{“key”：“33_CR25”，“doi-asserted-by”：“publisher”，“first-page”：“1”，“doi”：“10.1006\/inco.1994.1092”，“volume”：”115“，“author”：“M.Y.Vardi”，“year”：“1994”，“unstructured”：“Vardi，M.Y.，Wolper，P.：关于无限计算的推理。信息与计算\u00a0115，1\u201337（1994）“，“journal-title”：“信息与计算”}，{“key”：“33_CR26”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first-pages”：“140”，“doi”：“10.1007\/BFb0055048”，“volume-title“自动控制、语言与编程”，“author”：“I.Walukiewicz”，“year”：“1998”，“非结构化”：“Walukiewicz，I.：困难的配置\u2013关于LTrL的复杂性。In：Larsen，K.G.，Skyum，S.，Winskel，G.（编辑）ICALP 1998。LNCS，第u00a01443卷，第140\u2013151页。Springer，Heidelberg（1998）“}]，“container-title”：[“计算机科学课堂讲稿”，“系统构建和分析的工具和算法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10007\/978-3-540-31980-1_33.pdf”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2020,11,19]]，“日期时间”：“2020-11-19T04:32:48Z”，“时间戳”：1605760368000}，“分数”：1，“资源”：{“主要”:{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-31980-1_33”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2005]]}，“ISBN”：[“9783540253334”，“9783540319801”]，“references-count“：26，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-31980-1_33“，”关系“：{}，”ISSN“：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”type“:”print“，”value“：”0302-974“}，{”类型“：”electronic“，”value“：“1611-33049”}]，”主题“：[]，”发布“：{”date-parts“：[2005]]}}}