×
普拉萨德·西斯特拉。

时间逻辑中的安全、生动和公平。 （英语） Zbl 0820.68077号

正式Asp。计算。 6，第5期，495-511（1994）.

引用于1审查
引用于26文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68T27型 人工智能中的逻辑

关键词：

安全特性;活性特性;并发程序的验证;时间公式
PDF格式BibTeX公司 XML格式引用
\textit｛A.Prasad Sistla｝，正式Asp。计算。6，第5号，495--511（1994；Zbl 0820.68077）
全文： 内政部

参考文献：

[1] Alpern，B.，Deemers，A.J.和Schneider，F.B.：《无口吃的安全》，《信息处理快报》23（4）：177-180·Zbl 0619.68019号
[2] Alpern，B.和Schneider，F.：定义活力，信息处理信件，21:181-185·兹比尔0575.68030
[3] Alpern，B.和Schneider，F.B.：《认识安全与生命》，TR 86-727，康奈尔大学计算机科学系，1986年1月·Zbl 0641.68039号
[4] Clarke，E.M.、Emerson，E.A.和Sistla，A.P.：使用时态逻辑规范对有限状态并发系统进行自动验证，ACM编程语言和系统事务8（2）：244-263·兹比尔0591.68027
[5] 艾默生，E.A.：《时态逻辑的替代语义》，《理论计算机科学》，第26卷，第121-130页，1983年·兹伯利0559.68050 ·doi:10.1016/0304-3975（83）90082-8
[6] Emerson，E.A.和Lei，C.L.：《模型检查的模式：分支时间反击》，《计算机编程科学》，第8卷，第275-3061987页·Zbl 0615.68019号 ·doi:10.1016/0167-6423（87）90036-0
[7] Francez，N.：《计算机科学中的公平、文本和专著》，Springer-Verlag出版社，1986年·Zbl 0602.68007号
[8] Lamport，L.：1977年《证明多进程程序的正确性》，IEEE软件工程学报，SE-3，2:125-143·doi:10.1109/TSE.1977.229904
[9] Lamport，L.：逻辑基础，分布式系统方法和规范工具，第190卷，计算机科学讲义，施普林格出版社，柏林，
[10] Lichtenstein，O.，Pnueli，A.和Zuck，L.：《过去的荣耀》，《计算机科学讲义》，193年，布鲁克林学院程序逻辑研讨会论文集，1985年6月·Zbl 0586.68028号
[11] Manna，Z.和Pnueli，A.：《完成时间画面》，1989年第16届国际自动化、语言和编程学术讨论会论文集，另见《理论计算机科学》，1991，83（1）：97-130·Zbl 0795.68133号 ·doi:10.1016/0304-3975（91）90041-Y
[12] Manna，Z.和Pnueli，A.：时间属性层次，第九届ACM分布式计算原理研讨会论文集，1990年，第377-408页。
[13] Manna，Z.和Pnueli，A.：反应和并发系统的时间逻辑？规范，Springer-Verlag，1992年·Zbl 0753.68003号
[14] Owicki，S.Lamport，L.：《证明并发程序的活性属性》，《程序设计语言和系统的ACM事务》第4期，第3期，1982年·Zbl 0483.68013号
[15] Pnueli，A.：程序的时间逻辑，第18届IEEE计算机科学基础研讨会论文集，普罗维登斯，RI（1977）·Zbl 0364.68014号
[16] Sistla，A.P.、Clarke，E.M.、Francez，N.和Meyer，A.R.：消息缓冲区在时间逻辑中可以公理化吗？，信息与计算，63（1,2）：88-112·Zbl 0591.68022号
[17] Sistla，A.P.和Clarke，E.M.：介词时间逻辑的复杂性，计算机协会杂志，第32卷，第3期，1985年7月·Zbl 0632.68034号
[18] Sistla，A.P.：分布式系统设计和验证中的理论问题，哈佛大学1983年博士论文。
[19] Sistla，A.P.：《关于时间逻辑中安全性和活性特性的表征》，第四届ACM分布式计算原理研讨会论文集，1985年8月，加拿大米纳基。
[20] Sistla，A.P.：《时间逻辑中安全性和活性特性的表征》，GTE实验室技术报告，1986年。
[21] Thomas，W.：命题时间逻辑中的安全性和活性属性：表征和决定性，Schriften Zur Informatik，Bericht Nr.116。1986年4月。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。