×
何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登，普拉卡什

弱共刺激对于pCTL\（^*\）来说是健全和完整的。 （英语） 兹比尔1189.68080

Inf.计算。 208，第2期，203-219（2010）.
摘要：我们研究了存在不确定性的概率系统的弱互模拟，即带有无声跃迁的标记并发马尔可夫链（LCMC）。我们开发了一种基于允许凸计算组合的方法，类似于Segala和Lynch使用随机调度程序。
弱互模拟的定义破坏了概率分布的可加性，从而产生容量。能力背后的数学自然捕捉到了这样一种直觉，即当我们处理不确定性时，我们必须考虑可能的概率的界限，而不是它们的精确值。
我们的分析导致了三个新的发展：
我们确定了可数状态系统的“图像有限性”特征，并提出了这些LCMC的弱互模拟的新定义。我们证明了我们的定义与Philippou、Lee和Sokolsky对有限状态系统的定义一致。
我们证明了双相似态具有匹配计算。匹配的概念涉及过渡的凸组合。
我们研究概率逻辑pCTL（^{*}）的一个小变种，这种变种源于一个额外的路径公式来处理动作标签。我们证明，对于这种pCTL变体（^{*}），互模拟是合理和完整的。

引用于11文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

图像有限性
PDF格式BibTeX公司 XML格式引用
\textit{J.Desharnais}等人，《信息计算》。208，第2号，203--219（2010；Zbl 1189.68080）
全文： 内政部

参考文献：

[4] Stephen Brookes，共享变量并行语言的完全抽象，信息与计算，127，2，145-163（1996）·Zbl 0856.68037号
[6] Choquet，G.，《容量理论》，《傅里叶研究所年鉴（格勒诺布尔）》，第5131-295页（1953年）·Zbl 0064.35101号
[8] Dellacherie，C.，Capacityés et Processus随机（1972），Springer-Verlag·Zbl 0246.60032号
[9] Desharnais，J。；Edalat，A。；Panangaden，P.，标记Markov过程互模拟的逻辑特征，（第13届IEEE计算机科学逻辑研讨会论文集，印第安纳波利斯（1998年6月），IEEE出版社），478-489
[10] Desharnais，J。；Edalat，A。；Panangaden，P.，标记马尔可夫过程的互模拟，信息与计算，179,2163-193（2002）·Zbl 1096.68103号
[13] Desharnais，J。；古普塔，V。；Jagadeesan，R。；Panangaden，P.，《弱互模拟对于（pCTL^\ast）来说是健全和完整的》，（Brim，L.；Jancar，P.；Kretinsky，M.；Kucera，A.，《第十三届并行理论国际会议论文集》，CONCUR02。第13届并发理论国际会议论文集，CONCUR02，计算机科学讲义，第2421卷（2002），Springer-Verlag），355-370·Zbl 1012.68139号
[14] 何塞·德斯哈奈斯；Panangaden，Prakash，连续随机逻辑表征连续时间马尔可夫过程的互模拟，逻辑与代数规划杂志，56，99-115（2003），系统设计与分析的概率技术特刊·兹比尔1053.68065
[17] Hansson，Hans A.，（分布式系统形式设计中的时间和概率。分布式系统形式化设计中的时机和概率，实时安全关键系统，第1卷（1994），Elseiver）
[18] 霍里塔，E.W。；de Bakker，J.W。；Rutten，J.J.M.M.，非一致并发语言的完全抽象指称模型，信息与计算，115，1，125-178（1994）·Zbl 0824.68060号
[19] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，《ACM杂志》，32，1，137-162（1985）·Zbl 0629.68021号
[21] Kemeny，J.G。；Snell，J.L.，《有限马尔可夫链》（1960），Van Nostrand·Zbl 0112.09802号
[22] Larsen，K.G。；Skou，A.，《通过概率测试、信息和计算进行互模拟》，94，1-28（1991）·Zbl 0756.68035号
[23] Meyer，P.A.，《概率与潜力》（1966年），布莱斯德尔·兹伯利0138.10401
[24] 菲利普·A。；李，I。；Sokolsky，O.，概率过程的弱互模拟，（Palamidessi，C.，CONCUR 2000年会议记录。CONCUR 2000会议录，计算机科学讲义，第1877卷（2000），Springer-Verlag），334-349·Zbl 0999.68146号
[26] （Schaefer，A.，拓扑向量空间（1966），Springer-Verlag）·Zbl 0141.30503号
[29] 塞加拉，R。；Lynch，N.，概率过程的概率模拟，（Jonsson，B.；Parrow，J.，CONCUR94会议录。CONCUR94会议录，计算机科学讲义，第836卷（1994），Springer-Verlag），481-496
[30] 塞加拉，R。；Lynch，N.，概率过程的概率模拟，北欧计算杂志，2，2，250-273（1995）·Zbl 0839.68067号
[31] 塞加拉，R。；Turrini，A.，交替和非交替概率模型上互模拟关系的比较分析，（第二届系统定量评估国际会议论文集（QEST）（2005年9月），IEEE出版社），44-53
[32] 范·布鲁格尔（Frank van Breugel）；Worrell，James，《概率系统定量验证的算法》，（Larsen，K.G.；Nielsen，M.，《第十二届并行理论国际会议论文集-CONCUR’01》。第十二届并行理论国际会议论文集-CONCUR’01，计算机科学讲稿，第2154卷（2001），Springer-Verlag），336-350·Zbl 1006.68079号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。