{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,8]]，“日期时间”：“2024-04-08T07:09:03Z”，“时间戳”：1712560143535}，“出版商位置”：“查姆”，“参考计数”：33，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783319108810”，“类型”：”打印“}，{“值”：“9783319108827”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-319-10882-7_11“，”type“：”book-capter“，”created“：”{“date-part”：[2014,9,11]]，“date-time”：“2014-09-11T06:54:19Z”，“timestamp”：141141141 0418459000}，“页面”：“169-187”，“来源”：“交叉引用”，“is-referenced-by-count”：5，“title”：[“Modal nu-Calculus的结构优化”]，“prefix”：“10.1007”，“author”：[{“given”：“Uli”，“family”：“Fahrenberg”，”sequence“：”first“，”affiliation“：[]}，{“fivent”：“Axel”，“fumily”:“Legay”，“sequence”：“additional”，“affiliance”：[]{“给定”：“Louis-Marie”，“家族”：“Traonouez”，“序列”：“附加”，“从属关系”：[]}]，“member”：“297”，“reference”：[{“key”：“11_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Aceto，L.，Ing\u00f3lfsd\u00f 3ttir，A.，Larsen，K.G.，Srba，J.：反应系统。剑桥大学出版社（2007）”，“doi”：“10.1017\/CBO9780511814105”}，{“密钥”：“11-CR2”，“series-title”：“计算机科学讲义”，“doi-asserted by“：”publisher“，”首页“：“43”，“DOI”：“10.1007\/978-3642-28872-2_3”，“volume-title”：“软件工程的基本方法”，“author”：“S.S.Bauer”，“year”：“2012”，“unstructured”：“Bauer，S.S.，David，A.，Hennicker，R.，Guldstrand Larsen，K.，Legay，A.，Nyman，U.，W\u0105sowski，A.：在基于组件的设计中从规范到合同的转变。收录：de Lara，J.，Zisman，A.（编辑）软件工程的基本方法。LNCS，vol.\u00a07212，pp.43\u201358。Springer，Heidelberg（2012）“}，{”key“：”11_CR3“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“60”，”doi“：”10.1007\/978-3642-22993-0_9“，”volume-title“：“2011年计算机科学数学基础”，”author“：”S.S.Bauer“，”year“：”2011“，”unstructured“：”Bauer，S.S.，Fahrenberg，U.，Juhl，L.，Larsen，K.G.，Legay，A.，Thrane，C.：加权模态转换系统的定量精化。收录：Murlak，F.，Sankowski，P.（编辑）MFCS 2011。LNCS，第u00a06907卷，第60\u201371页。Springer，Heidelberg（2011）“}，{”key“：”11_CR4“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“18”，“doi”：“10.1007\/978-3642-30642-6_3”，“volume-title”：“计算机科学\u2013理论与应用”，“author”：“S.S.S.Bauer”，“year”：“2012”，“unstructured”：“Bauer，S.S.、Fahrenberg，U.、Legay，A.、Thrane，C.：一般定量规范理论与模式。收录人：Hirsch，E.A.、Karhum\u00e4ki，J.、Lepist\u00f6，A.、Prilutskii，M.（编辑）CSR 2012。LNCS，第u00a07353卷，第18\u201330页。Springer，Heidelberg（2012）“}，{”key“：”11_CR5“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“228”，“doi”：“10.1007\/978-3642-24372-1_17”，“volume-title”：“自动验证和分析技术”，“author”：“N.Bene_0161”，“year”：“2011”，“unstructured”：“Bene\u0161，N.，\u010cern\u00e1，I.，K\u0159et\u00ednsk\u00fd，J.：模态转换系统：组成和LTL模型检查。收录：Bultan，T.，Hyung，P.-A.（编辑）ATVA 2011。LNCS，第u00a06996卷，第228\u2013242页。Springer，Heidelberg（2011）“}，{“key”：“11_CR6”，“series title”：“计算机科学讲义”，“doi断言者”：“出版商”，“首页”：“76”，“doi”：“10.1007\/978-3-642-40184-8_7”，“卷标题”：“CONCUR 2013\u2013并发理论”，“作者”：“N.Bene\u0161”，“年份”：“2013”，“非结构化”：“Bene\u0161，N.，Delahaye，B.，Fahrenberg，U.，K\u0159et\u00ednsk\u00fd，J.，Legay，A.：作为一个完整的行为规范理论，具有最大不动点的Hennessy-milner逻辑。收录于：D\u2019Argenio，P.R.，Melgratti，H.（编辑）CONCUR 2013\u2013 Concurrency Theory。LNCS，第u00a08052卷，第76\u201390页。Springer，Heidelberg（2013）“}，{”key“：”11_CR7“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“275”，”doi“：”10.1007\/978-3642-24372-1_20“，”volume-title“：“自动验证和分析技术”，”author“：”N.Bene_0161“，”year“：”2011“，”unstructured“：”Bene\u0161，N.，K\u0159et\u00ednsk\u00fd，J.，Larsen，K.G.，M\u00f8ller，M.H.，Srba，J.：参数模态转换系统。收录：Bultan，T.，Hyung，P.-A.（编辑）ATVA 2011。LNCS，第u00a06996卷，第275\u2013289页。Springer，Heidelberg（2011）“}，{”key“：”11_CR8“，”doi-asserted-by“：”crossref“，”unstructured“：”Bene\u0161，N.，K\u0159et\u00ednsk\u00fd，J.，Larsen，K.G.，Srba，J.：《关于模态转换系统中的决定论》。Th.Comp.Sci.\u00a0410（41），4026\u20134043（2009）“，”doi“：”10.1016\/J.tcs.2009.06.009“}”，{“”key“：”11_CR9“，”doi-asserted-by“：”crossref“，”非结构化“：”Bene\u0161，N.，K\u0159et\u00ednsk\u00fd，J.，Larsen，K.G.，Srba，J.：EXPTIME-模态转换系统彻底细化的完整性。Inf.Comp.公司。\u00a0218，54\u201368（2012）“，”DOI“：”10.1016\/j.ic.2012.08.001“}，{”issue“：”3“，”key“：”11_CR10“，”DOI-asserted-by“：”publisher“，”first page“：“339”，“DOI”：“10.1093\/jigpal\/8.3.39”，“volume”：“8”，“author”：“P.Blackburn”，“year”：“2000”，“unstructured”：“Blackbury，P.：表示、推理和关系结构：混合逻辑宣言。Log.j。IGPL\u00a08（3），339\u2013365（2000）“，“日志标题”：“日志。J.IGPL“}，{”issue“：“1”，”key“：“11_CR11”，“doi-asserted-by”：“publisher”，“first page”：“3”，“doi”：“10.1016\/0304-3975（92）90276-L”，“volume”：”106“，“author”：“G.Boudol”，“year”：“1992”，“unstructured”：“Boudol，G.，Larsen，K.G.：图形与逻辑规范。Th.Comp.Sci.\u00a0106（1），3\u201320（1992）“，”杂志标题“：”Th.Comp.Sci.“}，{”key“：”11_CR12“，”doi-asserted-by“：”crossref“，”unstructured“：”Bradfield，J.，Stirling，C.：Modal mu-calculi。在：模态逻辑手册。Elsevier（2006）“，”DOI“：”10.1016\/S1570-2464（07）80015-2“}，{“key”：“11_CR13”，“DOI-asserted-by”：“crossref”，“unstructured”：“Caires，L.，Cardelli，L.：并发的空间逻辑。Inf.Comp.\u00a0186计算机科学“，”DOI-asserted-by“：”publisher“，”第一页“：”52“，”DOI“：”10.1007“，”volume-title“：”程序逻辑“，”author“：”E.M.Clarke“，”year“：”1982“，”unstructured“：”Clarke，E.M.，Emerson，E.A.：使用branching-time时序逻辑设计和合成同步骨架。收录：Kozen，D.（编辑）《程序逻辑》1981年。LNCS，卷\u00a0131，第52页\u201371。Springer，Heidelberg（1982）“}，{”key“：”11_CR15“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“103”，”doi“：”10.1007\/978-3-540-45187-7_7“，”volume-title“：“CONCUR 2003-并发理论”，”author“：”L.Alfaro de“，”year“：”2003“，”unstructured“：”de Alfaro，L.：通过微积分进行定量验证和控制。收录：Amadio，R.M.，Lugiez，D.（编辑）CONCUR 2003。LNCS，第u00a02761卷，第103\u2013127页。Springer，Heidelberg（2003）“}，{”key“：”11_CR16“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“1022”，”doi“：”10.1007\/3-540-45061-0_79“，”volume-title“：“Automata，Languages and Programming”，”author“：”L.Alfaro de“，”year“：”2003“，”unstructured“：”de Alfaro，L.、Henzinger，T.A.、Majumdar，R.：系统理论中的未来贴现。收录人：Baeten，J.C.M.，Lenstra，J.K.，Parrow，J.，Woeginger，G.J.（编辑）ICALP 2003。LNCS，第00a02719卷，第1022页\u20131037页。Springer，Heidelberg（2003）“}，{“key”：“11_CR17”，“unstructured”：“Fahrenberg，U.，Legay，A.，Traonouez，L.-M.：模态nu-calculus的结构精化。CoRR，1402.2143（2014），\n\n http://\/arxiv.org\/abs\/1402.2143”}，}“key:”11_CR18“series-title”：“计算机科学讲稿”，“doi-asserted-by”：“publisher“，”first page“：”395“，”DOI“：”10.1007\/978-3642-32940-1_28“，”volume-title“：”CONCUR 2012\u2013并发理论“，”author“：”D.Gebler“，”year“：”2012“，”unstructured“：”Gebler，D.，Fokkink，W.：概率Hennessy-Milner逻辑通过结构操作语义的组合性。收录：Koutny，M.，Ulidowski，I.（编辑）CONCUR 2012。LNCS，卷\u00a07454，第395\u2013409页。Springer，Heidelberg（2012）“}，{”issue“：“4”，”key“：“11_CR19”，”doi-asserted-by“：”publisher“，”first page“：”509“，”doi“：”10.1142\/S0218196702001048“，”volume“:”12“，”author“：”J.B.Hart“，”year“：”2002“，”unstructured“：”Hart，J.B.，Rafter，L.，Tsinakis，C.：交换剩余格的结构。Internat.J.AlgeComput.\u00abra 012（4），509\u2013524（2002）“，“新闻标题”：“国际。J.代数计算。“}，{”问题“：”4“，”密钥“：”11_CR20“，”doi-asserted-by“：”出版商“，”首页“：”896“，”doi“：”10.1145\/4221.4249“，”卷“：”32“，”作者“：”M.轩尼诗“，”年份“：”1985“，”非结构化“：”轩尼诗，M.：接受树。J.ACM\u00a032（4），896\u2013928（1985）“，”日志标题“：”J.ACM“}”，{“密钥”：“”11_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”Kozen，D.：命题\u03bc-calculus的结果。Th.Comp.公司。科学。\u00a027（1983）”，“DOI”：“10.1016/0304-3975（82）90125-6”}，｛“key”：“11_CR22”，“series title”：“计算机科学讲义”，“DOI断言者”：“出版商”，“第一页”：“232”，“DOI”：“10.1007\/3-540-52148-8_19”，“volume title”：“有限状态系统的自动验证方法”，“作者”：“K.G.Larsen”，“年份”：“1990”，“非结构化”：“Larsen，K.G.：模态规范。收录：Sifakis，J.（编辑）CAV 1989。LNCS，卷\u00a0407，第232\u2013246页。Springer，Heidelberg（1990）“}，{”key“：”11_CR23“，”series-title“：”LNCS“，”first page“：“33”，”volume-title“：“CONCUR 1990”，”author“：”K.G.Larsen“，”year“：”1990“，”unstructured“：”Larsen，K.G.:理想规范形式主义=表现性+组合性+可判定性+可测试性+。In:Baeten，J.C.M.，Klop，J.W.（eds.）CONCUR 1990。LNCS，第u00a0458卷，第33\u201356页。Springer，Heidelberg（1990）“}，{”issue“：”2&3“，”key“：”11_CR24“，”doi-asserted-by“：”publisher“，”first page“：“265”，“doi”：“10.1016\/0304-3975（90）90038-J”，“volume”：“72”，“author”：“K.G.Larsen”，“year”：“1990”，“unstructured”：“Larsen，K.G.:Hennessy-Milner逻辑中递归可满足性的证明系统。Th.Comp.Sci。\u00a072（2和3），265\u2013288（1990）“，“新闻标题”：“Th.Comp。科学。“}，{”key“：”11_CR25“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first-page“：”30“，”doi“：”10.1007\/3-540-56496-9_4“，”volume-title“：“计算机辅助验证”，”author“：”K.G.Larsen“，”year“1993”，”unstructured“：”Larsen，K.G.:高效的局部正确性检查。in:Probst，D.K.，von Bochmann，G.（eds.）CAV 1992年。LNCS，第u00a0663卷，第30\u201343页。Springer，Heidelberg（1993）“}，{“key”：“11_CR26”，“unstructured”：“Larsen，K.G.，Xinxin，L.：使用模态转换系统求解方程。摘自：LICS.IEEE Computer Society（1990）”}，}，“key“：”11_CR27“，”unstructure“：”Mader，A.：“使用布尔方程系统验证模态特性。博士论文，Technische University\u00e4t M\u00fcnchen（1997）”}，{“key”：“11_CR28”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”1“，”doi“：”10.1007\/3-540-44802-0_1“，”volume-title“：”Computer Science Logic“，”author“：”P.W.O\u2019Hearn“，”year“：”2001“，”unstructured“：“O\u2019Hearn，P.W.，Reynolds，J.C.，Yang，H.：关于改变数据结构的程序的局部推理。摘自：Fribourg，L.（ed.）CSL 2001和EACSL 2001。LNCS，第u00a02142卷，第1\u201319页。Springer，Heidelberg（2001）“}，{“key”：“11_CR29”，“volume-title”：“Papers on Time and Tense”，“author”：“A.N.Prior”，“year”：“1968”，“unstructured”：“Prior，A.N.：Papers on Time and Tens。Clarendon Press，Oxford（1968）”}，“{”key：“11-CR30”，“非结构化”：“Raclet，J.-B.：组件规范的残差。出版物国际1843，IRISA，Rennes（2007）”}，{“key”：“11_CR31”，“doi-asserted-by”：“publisher”，“first page”：”93“，“doi”：“10.1016\/j.entcs.2008.06.023”，“volume”：：“215”，“author”：“j.-B.Raclet”，“year”：“2008”，“unstructured”：“Raclet，j.-B.：组件规范的残差。Electr.Notes-Theor.Comput.Sci.\u00a0215，93\u2013110（2008）”，“journal-title”：“Electr.Nents.Theor.Cumput.科学“}，{”键“：“11_CR32”，“非结构化”：“Reynolds，J.C.：分离逻辑：共享可变数据结构的逻辑。In:LICS.IEEE Computer Society（2002）”}，{“key”：“11-CR33”，“unstructured”：“Scott，D.，de Bakker，J.W.：程序理论。IBM，Vienna（1969）（未出版手稿）”}]，“容器-时间”：[“计算的理论方面\u2013 ICTAC 2014”，“计算机科学课堂讲稿”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/101007\/978-3-319-10882-7_11”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,5,27]]，“date-time”：”2019-05-27T21:40:48Z“，”timestamp“：1558993248000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-319-10882-7_11”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：}“date-parts”：[[2014]]}，”ISBN“：[”9783319108810“，”97833.19108827“]，”references-count“：33，”URL“http://\/dx.doi.org\/10007\/978 3-319-10882-7_11“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{“数值”：“0302-9743”，“类型”：“打印”}，{“值”：“1611-3349”，“种类”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2014]]}}}