×
兰斯·克莱维兰;泽恩·达亚尔;斯科特·斯莫尔卡。;袁，Shoji

测试概率过程的预订单。 （英语） Zbl 1045.68564号

Inf.计算。 154，第2号，93-148（1999）.
小结：我们基于过程通过测试的概率的量化，提出了概率过程的测试预定顺序。该理论与德尼科拉（De Nicola）和亨尼西（Hennessy）的经典测试理论有着密切的联系，即在我们的环境中，只要一个过程通过了概率为1（分别为一些非零概率）的测试，那么该过程就必须（分别可能）通过经典理论中的测试。我们还开发了概率测试前序的另一种表征方法，该方法采用从概率迹到区间[{}0,1]{}的映射形式，其中概率迹是动作和动作上的概率分布的交替序列。最后，我们给出了从替代特征导出的证明技术，用于建立概率过程之间的预序关系。通过一些简单的例子，证明了这些技术的实用性。

引用于20文件

理学硕士：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
60J10型 马尔可夫链（离散状态空间上的离散时间马尔可夫过程）
94A05型 传播学理论

关键词：

概率测试预订单
PDF格式BibTeX公司 XML格式引用
\textit{R.Cleaveland}等人，《信息计算》。154，第2号，93-148（1999年；兹bl 1045.68564）
全文： 内政部

参考文献：

[1] 拜尔，C。；Hermanns，H.，《全概率过程的弱互模拟》，（Grunberg，O.，《计算机辅助验证》（CAV’97），以色列海法。计算机辅助验证（CAV’97），以色列海法，计算机科学讲稿，1254（1997），施普林格-弗拉格：柏林施普林格），119-130
[2] Christoff，I.，技术报告（1990）
[3] 克里维兰，R。；斯莫尔卡，S.A。；Zwarico，A.E.，《概率过程的测试预订单》，（Kuich，W.，《自动机、语言和编程》（ICALP’92），维也纳。《自动化、语言和编程》（ICALP’92），维也纳，计算机科学讲义，623（1992），施普林格-弗拉格：柏林施普林格），708-719·Zbl 1425.68289号
[4] 克里维兰，R。；Zwarico，A.，《实时测试理论》，第六届计算机科学逻辑年度研讨会（LICS’91），阿姆斯特丹（1991），计算机。Soc.Press：计算。纽约社会出版社，第110-119页
[5] 德尼古拉，R。；Hennessy，M.C.B.，《过程等效性测试》，理论。计算。科学。，34, 83-133 (1983) ·Zbl 0985.68518号
[6] van Glabbeek，R.J。；斯莫尔卡，S.A。；Steffen，B.，概率过程的反应、生成和分层模型，Inform。和计算。，121、59-80（1995年8月）·Zbl 0832.68042号
[7] Hennessy，M.C.B.，《过程的代数理论》（1988），麻省理工学院出版社：剑桥·Zbl 0437.68002号
[8] Hansson，H.A。；Jonsson，B.，《具有时间和概率的通信系统演算》，第11届IEEE实时系统研讨会论文集（1990）
[9] 焦耳，摄氏度-摄氏度。；Smolka，S.A.，《概率过程的等价、同余和完全公理化》，（Baeten，J.C.M.；Klop，J.W.，《第一届并行理论国际会议论文集》（CONCUR’90），柏林。第一届并发理论国际会议论文集（CONCUR’90），柏林，计算机科学讲义，458（1990），Springer-Verlag:Springer-Verlag Berlin），367-383·Zbl 0746.68005号
[10] Jonsson，B。；Yi，W.，概率过程的组合测试预订单，第十届计算机科学逻辑年度研讨会（LICS’95），圣地亚哥（1995），计算。Soc.Press：计算。纽约社会出版社，第431-441页
[11] Narayan Kumar，K。；克利夫兰，R。；Smolka，S.A.，《无限概率和非概率测试》，第18届软件技术和理论计算机科学基础会议论文集。第18届软件技术与理论计算机科学基础会议论文集，《计算机科学讲义》（1998），施普林格出版社：施普林格出版社，柏林
[12] Larsen，K.G。；Skou，A.，通过概率测试的相互模拟，Inform。和计算。，94, 1-28 (1991) ·Zbl 0756.68035号
[13] 林奇，A。；Tuttle，M.，分布式算法的层次正确性证明，第六届ACM分布式计算原理年会论文集（1987），第137-151页
[14] Manna，Z。；Pnueli，A.，《反应和并发系统的时间逻辑：规范》（1991），Springer-Verlag:Springer-Verlag Berlin/纽约·Zbl 0753.68003号
[15] 努内兹，M。；水果，D。；Llana，L.，概率过程的接受树，（Lee，I.；Smolka，S.A.，CONCUR’95第六届并发理论国际会议论文集（1995），Springer-Verlag:Springer-Verlag Berlin）
[16] Pnueli，A.，《时序逻辑在反应系统规范和验证中的应用：当前趋势的调查》（de Bakker，J.；de Roever，W.-P.；Rozenberg，G.，《并发的当前趋势》（1986），Springer-Verlag:Springer-Verlag Berlin）·Zbl 0607.68022号
[17] Segala，R.，《测试概率自动机》，（美国蒙塔纳里；萨索恩，V.，CONCUR’96，意大利比萨·Zbl 1514.68112号
[18] Wu，S.-H。；斯莫尔卡，S.A。；Stark，E.W.，概率I/O自动机的组成和行为，Theoret。计算。科学。，176, 1-38 (1997) ·Zbl 0903.68123号
[19] 袁，S。；克里维兰，R。；Dayar，Z。；Smolka，S.A.，《概率过程测试前序的完全抽象表征》（Jonsson，B.；Parrow，J.，CONCUR’94，Upsala，Sweden（1994），Springer-Verlag:Springer-Verlag Berlin）
[20] Yi，W。；Larsen，K.G.，《测试概率和非确定性过程》，协议规范，测试和验证XII（1992），北荷兰：北荷兰阿姆斯特丹，第47-61页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。