×
M.C.布朗。;E.M.克拉克。;Grumberg，O。

关于具有许多相同有限状态过程的网络的推理。 （英语） Zbl 0709.68610号

Inf.计算。 81，第1期，第13-31页（1989年）.

引用于29文件

MSC公司：

68倍 计算机科学

软件：

CESAR公司
PDF格式BibTeX公司 XML格式引用
\textit{M.C.Browne}等人，《信息计算》。81，编号1，13-31（1989；Zbl 0709.68610）
全文： 内政部

参考文献：

[1] 阿普特，K。；Kozen，D.，有限状态并发系统自动验证的限制，Inform。过程。莱特。，22，第6号，307-309（1986）
[2] 布鲁克斯，S.D。；Rounds，W.C.，《编程逻辑诱导的行为等效关系》，（第十届ICALP，1983年）。第十届ICALP，1983年，Lect。计算中的注释。科学。，第154卷（1983），Springer-Verlag:Springer-Verlag纽约）·Zbl 0536.68042号
[3] 布朗，M。；克拉克，E。；Dill，D。；Mishra，使用时序逻辑自动验证时序电路，IEEE Trans。计算。，C-35，第12号（1986年）·Zbl 0604.94011号
[4] Browne，医学博士。；克拉克，E.M。；Grumberg，O.，《表征时序逻辑中的Kripke结构》，（代数和编程中的树讨论会。代数和编程中树讨论会，意大利比萨，3月。代数和程序设计中的树研究会。代数与程序设计中树研究会，意大利比萨，3月份，理论计算科学，59（1988）），115-131·Zbl 0677.03011号
[5] 克拉克，E.M。；艾默生，E.A。；Sistla，A.P.，使用时序逻辑规范对有限状态并发系统进行自动验证，ACM Trans。程序。Lang.Systems，8，No.2，244-263（1986）·Zbl 0591.68027号
[6] Dijkstra，E.，《不变性和不确定性》（Hoare，C.A.R.；Shepherdson，J.C.，《数学逻辑和编程语言》（1985），普伦蒂斯·霍尔：普伦蒂塞·霍尔·恩格尔伍德·克利夫斯，新泽西），157-163·Zbl 0544.68011号
[7] Dill，D.L。；Clarke，E.M.，《使用时序逻辑对异步电路进行自动验证》（IEE-E Proc.，5（1986））
[8] 艾默生，E.A。；Halpern，J.Y.，“有时”和“不可能”重温：关于分支与线性时间，（第十届美国计算机学会程序设计语言原理交响曲论文集（1983））·Zbl 0629.68020号
[9] 格拉芙，S。；Sifakis，J.，《从同步树逻辑到接受模型逻辑》，（程序逻辑。程序逻辑，计算机科学中的Lect.注释，卷193（1985），Springer-Verlag:Springer-Verlag纽约/柏林）·Zbl 0572.68020号
[10] 轩尼诗，M。；Milner，R.，《关于观察不确定性和并发性》，（第七届ICALP·Zbl 0441.68018号
[11] Kurshan，R.P.，《并行过程建模》（《应用数学论文集》（1985年））·Zbl 0572.68018号
[12] Lichtenstein，O。；Pnueli，A.，检查有限状态并发程序是否满足其线性规范，（第二十届美国计算机学会编程语言原理研讨会会议记录。第二十届美国计算机学会编程语言原理研讨会会议记录，新奥尔良，洛杉矶，1985年1月）
[13] Martin，A.，《分布式互斥自定时电路的设计》（VLSI Chapel Hill Conf.会议论文集（1985）），247-260
[14] Milner，R.，《通信系统的微积分》，（《计算科学学报》第92卷（1979年），Springer-Verlag:Springer-Verlag纽约/柏林）·Zbl 0452.68027号
[15] Quielle，J.P。；Sifakis，J.，《CESAR并发系统的规范和验证》（第五届国际编程研讨会论文集，1981年）·Zbl 0482.68028号
[16] Reif，J。；Sistla，P.，《具有时间和空间模式的多进程网络逻辑》，J.Compute。系统科学。，30，第1号（1985）·Zbl 0565.68031号
[17] Sistla，A.P。；Clarke，E.M.，命题时序逻辑的复杂性，J.Assoc.Compute。机器。，32，第3期，733-749（1986）·Zbl 0632.68034号
[18] Wolper，P.，在命题时间逻辑中表达程序的有趣性质，（第十三届ACM程序设计语言原理研讨会（1986））
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。