|
|||||
|
|
| π-演算中无卫递归的消除 | |
| 引用本文： | 林惠民.π-演算中无卫递归的消除[J].软件学报,1997,8(5):321-326. |
| 作者姓名： | 林惠民 |
| 作者单位： | 中国科学院软件研究所,北京,100080 |
| 基金项目： | 本文研究得到国家自然科学基金,中国科学院“九五”基础性研究重点项目资助. |
| 摘 要： | 本文提出消除π－演算中无卫递归的公理，证明了将该公理加入到正则π－演算受卫递归子集上的证明系统后，所得到的证明系统在π－演算全体正则子集上关于互模拟等价的可靠性和完备性. |
| 关 键 词： | 进程代数 π－演算 互模拟 递归进程 证明系统 |
| 收稿时间： | 1996/9/16 0:00:00 |
| 修稿时间： | 1997/3/14 0:00:00 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |