互模拟等价相关论文
随着信息服务和商业活动等越来越多地出现在开放的通讯网络上，用以保证上述服务的网络安全协议的可靠性成为备受人们关注的焦点。然......
随着计算机科学的发展,形式化验证方法在软件和硬件领域的应用越来越广泛。互模拟等价关系是形式化方法中的一个重要概念,它表示两......
针对丌演算中的递归结构，本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则，采用层次化方法，......
针对程序的行为等价性，提出多项式程序模型的互模拟等价，适用于代数程序模型描述的软件系统设计和验证分析．给出多项式程序模型互模拟......
随机进程代数(SPA)是一种功能与性能相结合的并发系统模型，是通过给经典进程代数模型中的动作发生附加上一个随机变量值，来反映在系......
学位
