|
|||||
|
|
| π-演算的符号迁移图及其早互模拟验证算法 | |
| 引用本文： | 李舟军,陈火旺,王兵山.π-演算的符号迁移图及其早互模拟验证算法[J].中国科学(E辑),1999,29(4):361-371. |
| 作者姓名： | 李舟军 陈火旺 王兵山 |
| 作者单位： | 国防科技大学计算机系!长沙410073 |
| 基金项目： | 国家“八六三”高技术计划，国家自然科学基金资助项目!(批准号:6 98730 45 ) |
| 摘 要： | 提出符号迁移图作为π－演算进程直观而高效的表示模型，并给出了符号迁移图我种版本的早操作语义，在此基础上定义了相应版本的早互模拟和观察同余。同时引入了符号观察图和符号同余图以及τ－循环和τ－边消去定理。最后给出了关于强／弱早互模拟等价和早观察同余的符号验证算法，并证明了其正确性。 |
| 关 键 词： | π－演算 符号迁移图 互模拟 验证算法 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |