苏珊娜·格拉芙 论Lamport对线性时序逻辑和分支时序逻辑的比较。 （英语） Zbl 0551.68033号 RAIRO，Inf.Théor公司。 18, 345-353 (1984). 对于一类受限模型，给出了线性时间时序逻辑（TL_L）和分支时间时序逻辑的比较。证明了这两种逻辑的不相容性，并证明了不存在比分支时间逻辑（TL_B）更具表现力的线性时间逻辑。审核人：J.兹拉图斯卡 MSC公司： 68问题65 抽象数据类型；代数规范 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B45 模态逻辑（包括规范逻辑） 第68页第25页 操作系统理论 关键词：表达能力；时序逻辑；线性时间；分支时间 软件：CESAR公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf}，RAIRO，Inf.Théor。18、345--353（1984年；Zbl 0551.68033） 全文： 欧洲DML 参考文献： [1] 1.E.M.CLARKE和E.A.EMERSON，使用分支时间逻辑设计和合成同步骨架，哈佛大学TR-12-81·Zbl 0546.68014号 [2] 2.E.A.EMERSON，时间逻辑的替代语义，德克萨斯大学奥斯汀分校，TR-182·Zbl 0559.68050号 [3] 3.E.A.EMERSON和J.Y HALPERN，分支时间的时序逻辑中的决策过程和表达，第14届ACM年会。《计算理论》，1982年·Zbl 0559.68051号 [4] 4.E.A.EMERSON和J.Y.HALPERN，“有时”和“不可能”重温：关于分支与线性时间，ACM Symp。编程语言原理·兹比尔0629.68020 [5] 5.L.LAMPORT，“有时”有时是“不可能”，第七届ACM年度交响乐团。《程序设计语言原理》，1980年。 [6] 6.A.PNUELI，并发程序的时间逻辑，第19届年度交响乐团。计算机科学基础，1971年。 [7] 7.J.P.QUEILLE和J.SIFAKIS，CESAR中并发系统的规范和验证，第五届国际交响乐团。《程序设计》，1982年。Zbl0482.68028 MR807187号·兹伯利04822.68028 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。