|
|||||
|
|
| ALGORITHM FOR VERIFYING STRONG OPEN BISIMULATION IN FULL Π-CALCULUS | |
| 引用本文： | 邓玉欣,傅育熙.ALGORITHM FOR VERIFYING STRONG OPEN BISIMULATION IN FULL Π-CALCULUS[J].上海交通大学学报(英文版),2001,6(2). |
| 作者姓名： | 邓玉欣 傅育熙 |
| 作者单位： | Dept. of Computer Science，Shanghai Jiaotong Univ.，Shanghai 200030，China |
| 基金项目： | National Natural Science Foundation of China ( No. 6 98730 32 )，86 3Hi-Τ ech Project ( 86 3-30 6 -ZT-0 6 -0 2 -2 ) |
| 摘 要： | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |