Institutional Repository
| π-演算互模拟判定算法的优化和实现 | |
| Alternative Title | Optimization and Implementation of a Bisimulation Checking Algorithm for the π-Calculus? |
| 许文; 方海; 林惠民 | |
| 2001 | |
| Source | 软件学报
 |
| ISSN | 1000-9825 |
| Volume | 12Issue:2Pages:159 |
| Indexed Type | wanfang,cscd |
| Keyword | 进程代数 Π-演算 互模拟 验证算法 |
| Department | 计算机科学国家重点实验室 |
| Sponsorship | National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4482 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 许文,方海,林惠民. π-演算互模拟判定算法的优化和实现[J]. 软件学报,2001,12(2):159. |
| APA | 许文,方海,&林惠民.(2001).π-演算互模拟判定算法的优化和实现.软件学报,12(2),159. |
| MLA | 许文,et al."π-演算互模拟判定算法的优化和实现".软件学报 12.2(2001):159. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 17.pdf（377KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment