×
Larsen，Kim G。；阿恩·斯科

通过概率测试进行相互模拟。 （英语） Zbl 0756.68035号

Inf.计算。 94，第1期，1-28页（1991年）.
提出了一种测试语言和并发过程属性的概率测试性概念。Hennessy-Milner逻辑中表示为公式的属性是可测试的，因此可以通过测试区分非相似过程。引入了一种新的过程关系，称为（{2\over3}）-互模拟。模拟与互模拟之间存在严格的关系。对于转移概率有极限的概率转移系统，证明了两个过程是（{2\over3}）-双相似的，只要它们满足相同的有限模态逻辑公式。引入概率模态逻辑，并证明了概率双相似性的诱导概念表征了测试语言区分能力的极限。概率互模拟严格地强于互模拟。
审核人：D.Gruska（布拉迪斯拉发）

引用于5评论
引用于313文件

MSC公司：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）
第68季度第60季度 规范和验证（程序逻辑、模型检查等）

关键词：

概率检验；并行进程；轩尼诗-米尔纳逻辑
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}和\textit{A.Skou}，Inf.Compute。94，第1号，1--28（1991；Zbl 0756.68035）
全文： 内政部

参考文献：

[1] Abramsky，S.，作为测试等效的观察等效，Theoret。计算。科学。，53, 225 (1987) ·Zbl 0626.68016号
[2] 布鲁姆，B。；Meyer，A.，《关于概率过程之间相互模拟的评论》（Meyer；Taitslin，M.，《89年博蒂克的逻辑》）。《89年Botik的逻辑》，计算机科学讲义，第363卷（1989），Springer-Verlag:Springer-Verlag柏林/纽约），26-40·兹伯利0681.68027
[3] 布鲁姆，B。；Istrail，S。；Meyer，A.，《无法追踪相互模拟：初步报告》（第15届ACM POPL会议记录（1988）），229-239
[4] Chung，K.L.，（随机过程的基本概率理论（1974），Springer-Verlag:Springer-Verlag Berlin/纽约）·Zbl 0293.60001号
[5] 考克斯·D。；Hinkley，D.（理论统计学（1974），查普曼和霍尔：查普曼与霍尔伦敦）·Zbl 0334.62003号
[6] 德尼古拉（de Nicola），R。；Hennessy，M.，《过程等效性测试》，理论。计算。科学。，34，83（1983）·Zbl 0985.68518号
[7] Dijkstra，E.，结构化编程注释，（Dahl，O.；Dijkstra，E.；Hoare，C.，结构化编程（1972），学术出版社：纽约学术出版社），1-82·Zbl 0267.68001号
[8] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，J.Assoc.Compute。机器。，137 (1985) ·Zbl 0629.68021号
[9] 休斯·G。；克雷斯韦尔，M.（模态逻辑导论（1972），《Methuen:Methuen London》）·Zbl 0205.00503号
[10] Larsen，K.G.，《过程间上下文相关的相互模拟》（1986年爱丁堡大学博士论文）
[11] Larsen，K.G.，《Hennessy-Milner逻辑递归证明系统》（Dauchet，M.；Nivat，M.，CAAP’88）。CAAP’88，计算机科学讲稿，第299卷（1988），Springer-Verlag:Springer-Verlag柏林/纽约），215-230·Zbl 0647.68012号
[12] Milner，R.，《通信系统的微积分》（计算机科学讲义，第92卷（1980），Springer-Verlag:Springer-Verlag Berlin/纽约）·Zbl 0452.68027号
[13] Milner，R.，可观察机器行为的模态表征，（Astesiano，G.；Böhm，C.，《CAAP’81会议录》，《计算机科学讲稿》，第112卷（1981），Springer-Verlag:Springer-Verlag Berlin/纽约）·Zbl 0474.68074号
[14] Milner，r.，《同步与异步演算》，Theoret。计算。科学。，25, 267 (1963) ·Zbl 0512.68026号
[15] Park，D.，无限序列上的并发与自动机，（Deussen，P.，第五届GI会议，第五次GI会议计算机科学讲稿，第104卷（1981），Springer-Verlag:Springer-Verlag Berlin/纽约），167-183·Zbl 0457.68049号
[16] 菲利普斯，I.，拒绝测试，（Kott，L.，ICALP’86。ICALP’86，《计算机科学讲义》，第226卷（1986），Springer-Verlag:Springer-Verlag柏林/纽约），304-313·Zbl 0594.68022号
[17] Plotkin，G.，《操作语义的结构方法》（FN 19，DAIMI（1981），奥胡斯大学）·Zbl 1082.68062号
[18] Pnueli，A.，《反应系统语义和逻辑中的线性和分支结构》（Brauer，W.，ICALP’85）。ICALP’85，《计算机科学讲义》，第194卷（1985），Springer-Verlag:Springer-Verlag柏林/纽约），15-32·Zbl 0575.68042号
[19] Skou，A.，《并发过程的验证，重点是测试》（博士论文（1990年），奥尔堡大学中心）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。