| 概率带测试克林代数 | |
| 乔瑞 ; 吴尽昭 | |
| 2015-03-13 ; 2015-03-13 | |
| 关键词 | 概率带测试克林代数 概率格局变迁系统 结构操作语义 互模拟等价 |
| 中文摘要 | 为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。然后在概率格局变迁系统的基础上给出结构操作语义。并给出PKAT的基于操作语义的概率互模拟等价关系。最后证明了PKAT中等式关于互模拟等价的可靠性。; 国家973计划资助项目(2004CB318000;2007CB310800);国家高技术发展计划(863计划)资助项目(2007AA01Z143) |
| 语种 | 中文 |
| 出版者 | 四川大学学报(工程科学版) |
| 其他责任者 | 中国科分院成都计算机应用研究所 |
| 内容类型 | 期刊论文 |
| 源URL | [http://ir.calis.edu.cn/hdl/530500/4578]  |
| 专题 | 广西民族大学 |
| 推荐引用方式 GB/T 7714 | 乔瑞,吴尽昭. 概率带测试克林代数[J],2015, 2015. |
| APA | 乔瑞,&吴尽昭.(2015).概率带测试克林代数.. |
| MLA | 乔瑞,et al."概率带测试克林代数".(2015). |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论