概率带测试克林代数
Sichuan Daxue Xuebao (Gongcheng Kexue Ban)/Journal of Sichuan University (Engineering Science Edition)（2009）
摘要
为了增强可形式刻画正则程序行为的带测试克林代数 (KAT) 的表达能力, 提出了一个加概率的带测试克林代数 (PKAT) 的完整理论用于对加概率正则程序的推演.提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统.然后在概率格局变迁系统的基础上给出结构操作语义.并给出PKAT的基于操作语义的概率互模拟等价关系.最后证明了PKAT 中等式关于互模拟等价的可靠性.
更多查看译文
关键词
Bisimulation,PKAT,Probabilistic configuration transition systems,Structural operational semantics
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要