×
杰拉德·布多尔；Larsen，Kim G。

图形规范与逻辑规范。 （英语） 兹比尔0776.68084

西奥。计算。科学。 106，第1期，3-20（1992）.
摘要：本文研究了并发系统的两种规范形式和验证方法之间的关系，即Larsen-Thomsen的模态转换系统（这里称为图形规范）和Hennessy-Milner逻辑。我们表明，任何图形规范都可以用具有相同模型的逻辑规范来表示。相反，我们给出了可以用图形表示的公式的特征。

引用于2评论
引用于17文件

MSC公司：

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

关键词：

并发系统的验证；拉森-托姆森模态转换系统；轩尼诗-米尔纳逻辑
PDF格式BibTeX公司 XML格式引用
\textit{G.Boudol}和\textit{K.G.Larsen}，Theor。计算。科学。106，第1号，第3--20号（1992；Zbl 0776.68084）
全文： DOI程序

参考文献：

[1] Arnold，A.，MEC：构建和分析过渡系统的系统，（有限状态系统自动验证方法研讨会，有限状态系统的自动验证方法，计算机科学课堂讲稿，第407卷（1990年），Springer:Springer-Blin），117-132
[2] Boudol，G.等人。；德西蒙，R。；Vergamini，D.，在滑动窗口协议的简单案例上使用AUTO和AUTOGRAPH的实验，INRIA Res.Rep.870（1988）
[3] Boudol，G.等人。；罗伊，V。；德西蒙，R。；Vergamini，D.，《过程计算，从理论到实践：验证工具》，（有限状态系统自动验证方法研讨会。有限状态系统的自动验证方法讲习班，计算机科学讲稿，第407卷（1990年），施普林格：施普林格-柏林），1-10
[4] 克利夫兰，R。；帕罗，J。；Steffen，B.，The Concurrency Worbench，（有限状态系统自动验证方法研讨会。有限状态系统的自动验证方法讲习班，计算机科学讲稿，第407卷（1990），Springer:Springer-Berlin），11-23
[5] Godskesen，J。；拉森，K.G。；Zeeberg，M.，《TAV用户手册》（报告89-19（1989），奥伯格大学数学和计算机科学系）
[6] 格拉芙，S。；Sifakis，J.，《描述非确定性程序及其属性的逻辑》，Inform。和控制，68，254-270（1986）·Zbl 0591.68017号
[7] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，J.ACM，32，137-161（1985）·Zbl 0629.68021号
[8] 轩尼诗，M。；Plotkin，G.，《有限合取不确定性》，（Voss，K.；Genrich，H.J.；Rozenberg，G，《并发与网络》（1987），施普林格：施普林格-柏林），233-244·Zbl 0649.03013号
[9] Hüttel，H.，《模态过程逻辑的操作和指称特性》（报告88-27（1988），奥堡大学数学和计算机科学系）
[10] Hüttel，H。；Larsen，K.G.，《静态结构在模态过程逻辑中的使用》（logic at Botik 89）。Botik 89的逻辑，计算机科学讲义，第363卷（1989年），Springer:Springer Berlin，163-180·Zbl 0683.03014号
[11] Larsen，K.G.，模态规范，（有限状态系统自动验证方法研讨会。有限状态系统的自动验证方法讲习班，计算机科学讲稿，第407卷（1990年），Springer:Springer Berlin），232-246
[12] 拉森，K.G。；Thomsen，B.，《模态过程逻辑》，Proc。LICS 88，203-210（1988）
[13] Lecompte，V。；Madelaine，E。；Vergamini，D.，《AUTO，un système de vérification de processus paralliles et communiants，Rapport Technique INRIA 83》（1987）
[14] Milner，R.，可观察机器行为的模态表征，（CAAP 81。CAAP 81，计算机科学讲稿，第112卷（1981），施普林格：施普林格柏林），25-34·Zbl 0474.68074号
[15] Pnueli，A.，《反应系统语义和逻辑中的线性和分支结构》（ICALP 85）。ICALP 85，计算机科学讲稿，第194卷（1985），施普林格：施普林格柏林），15-32·Zbl 0575.68042号
[16] Stirling，C.，通信系统的模型逻辑，定理。计算。科学。，49, 311-347 (1987) ·Zbl 0624.68019号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。