何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登，普拉卡什 pCTL*的弱互模拟是合理且完整的。 （英语） Zbl 1012.68139号 Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第十三届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2421, 355-370 (2002). 摘要：我们研究了不确定性存在下概率系统的弱互模拟，即带有无声跃迁的标记并发马尔可夫链（LCMC）。我们建立在A.菲利普,I.李和O.索科尔斯基[法学注释计算科学1877，334-349（2000；Zbl 0999.68146号)]对于有限状态LCMC。他们对弱互模拟的定义破坏了概率分布的可加性，反而产生了容量。能力背后的数学自然捕捉到了这样一种直觉，即当我们处理不确定性时，必须对可能的概率进行估计。我们的分析导致了三个新的发展：我们确定了可数状态系统的“镜像有限性”公理化，并给出了这些LCMC的弱互模拟的新定义。我们证明了我们的定义与Philippou、Lee和Sokolsky对有限状态系统的定义一致。我们证明了双相似态具有匹配计算。匹配的概念涉及变换的线性组合。这个想法与随机调度器的使用密切相关。我们研究了概率逻辑pCTL（^{*}）的一个小变种——这种变种源于一个额外的路径公式来处理动作标签。我们证明，对于pCTL的这种变体（^｛*｝），共刺激是健全和完整的。关于整个系列，请参见[Zbl 0997.00031号]。 引用于20文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 引文：Zbl 0999.68146号 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人，Lect。注释计算。科学。2421355--370（2002；Zbl 1012.68139） 全文： 链接