论Lamport对线性时序逻辑和分支时序逻辑的比较

苏珊娜·格拉夫

RAIRO-理论信息学与应用-信息技术与应用(1984)

  • 第18卷，第4期，第345-353页
  • 国际标准编号：0988-3754

如何引用

顶部

苏珊·格拉芙。“关于Lamport对线性时序逻辑和分支时序逻辑的比较。”RAIRO-理论信息学与应用-信息技术与应用18.4 (1984): 345-353. <http://eudml.org/doc/92215>.

@第{Graf1984条，
作者＝{格拉夫，苏珊娜}，
journal={RAIRO-理论信息学与应用-信息技术与应用}，
关键词={表达能力；时序逻辑；线性时间；分支时间}，
语言={eng}，
数字={4}，
页码={345-353}，
publisher={EDP-Sciences}，
title={关于Lamport对线性时序逻辑和分支时序逻辑的比较}，
url={http://eudml.org/doc/92215},
体积={18}，
年份={1984年}，
}

今天
AU-格拉芙，苏珊娜
TI-关于Lamport对线性时序逻辑和分支时序逻辑的比较
JO-RAIRO-理论信息学与应用-信息学与应用
PY-1984年
PB-EDP-科学
VL-18
IS-4标准
SP-345
EP-353
洛杉矶-eng
KW——表达力；时序逻辑；线性时间；分支时间
UR-（欧元）http://eudml.org/doc/92215
急诊室-

工具书类

顶部
  1. 1.E.M.CLARKE和E.A.EMERSON，使用分支时间逻辑设计和合成同步骨架，哈佛大学TR-12-81兹伯利0546.68014
  2. 2.E.A.EMERSON，时间逻辑的替代语义，德克萨斯大学奥斯汀分校，TR-182Zbl0559.68050号
  3. 3.E.A.EMERSON和J.Y HALPERN，分支时间的时序逻辑中的决策过程和表达，第14届ACM年会。《计算理论》，1982年Zbl0559.68051号
  4. 4.E.A.EMERSON和J.Y.HALPERN，“有时”和“不可能”重温：关于分支与线性时间，ACM Symp。编程语言原理。 Zbl0629.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型

要在页面上嵌入这些注释，请在希望注释出现的页面上包含以下JavaScript代码。

只有小部件的控件将以您选择的语言显示。注释将以其创作语言显示。

告诉小部件每页要显示多少注释。您可以使用下一个和上一个控件循环浏览其他注释。

    
                

                
注意：最佳实践建议在结束之前放置JavaScript代码</body>标签。