|
|||||
|
|
| π-演算互模拟判定算法的优化和实现 | |
| 作者姓名： | 许文 方海 林惠民 |
| 作者单位： | 中国科学院 软件研究所 |
| 基金项目： | 国家自然科学基金资助项目(69833020) |
| 摘 要： | π-演算采用互模拟作为进程等价的准则.对有限状态的π-演算进程互模拟等价是可判定的，由此提出了互模拟检测算法的一种优化技术.该技术基于只将输入名字实例化为在以后的等名测试中用到的自由名字.通过实例说明这一优化技术可大大减少所用的时间和空间,并证明了优化算法的正确性. |
| 关 键 词： | 进程代数 π-演算 互模拟 验证算法 |
| 收稿时间： | 2000-05-11 |
| 修稿时间： | 2000-05-11 |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |