互模拟等价相关论文
随着计算机技术和网络通信技术的高速发展,分布式并发系统已成为当前计算机技术的主流方向。相对于传统的串行计算机系统,分布式并发......
因为无穷状态系统拥有无穷多个状态,基于它的可判定性理论更加复杂,对于无穷状态系统的强、弱互模拟等价的判定比有穷状态系统的判定......
随着信息服务和商业活动等越来越多地出现在开放的通讯网络上,用以保证上述服务的网络安全协议的可靠性成为备受人们关注的焦点。然......
随着计算机科学的发展,形式化验证方法在软件和硬件领域的应用越来越广泛。互模拟等价关系是形式化方法中的一个重要概念,它表示两......
针对丌演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则,采用层次化方法,......
为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概......
针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟......
随机进程代数(SPA)是一种功能与性能相结合的并发系统模型,是通过给经典进程代数模型中的动作发生附加上一个随机变量值,来反映在系......
学位