| π-演算互模拟判定算法的优化和实现 |
| 其他题名 | Optimization and Implementation of a Bisimulation Checking Algorithm for the π-Calculus?
|
| 许文; 方海; 林惠民
|
| 2001
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 12期号:2页码:159 |
| 收录类别 | wanfang,cscd
|
| 关键词 | 进程代数
Π-演算
互模拟
验证算法
|
| 部门归属 | 计算机科学国家重点实验室
|
| 资助者 | 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
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/4482
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
许文,方海,林惠民. π-演算互模拟判定算法的优化和实现[J]. 软件学报,2001,12(2):159.
|
| APA |
许文,方海,&林惠民.(2001).π-演算互模拟判定算法的优化和实现.软件学报,12(2),159.
|
| MLA |
许文,et al."π-演算互模拟判定算法的优化和实现".软件学报 12.2(2001):159.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论