| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-14页 |
| ·研究背景 | 第10页 |
| ·研究内容 | 第10-11页 |
| ·概览 | 第11-14页 |
| 第二章 演算和等价关系 | 第14-24页 |
| ·演算 | 第14-20页 |
| ·有限且没有加操作符的CCS演算 | 第14-17页 |
| ·有限且没有加操作符的π演算 | 第17-20页 |
| ·等价关系 | 第20-24页 |
| ·外部等价和绝对等价的定义 | 第20-23页 |
| ·一些有用的性质 | 第23-24页 |
| 第三章 有限且无加操作符的CCS演算下的一致性 | 第24-34页 |
| ·预备引理 | 第24-31页 |
| ·定理证明 | 第31-34页 |
| 第四章 有限且无加操作符的π演算下的一致性 | 第34-44页 |
| ·预备引理 | 第34-39页 |
| ·定理证明 | 第39-44页 |
| 第五章 全文总结 | 第44-45页 |
| 参考文献 | 第45-47页 |
| 致谢 | 第47-48页 |
| 攻读学位论文期间发表的学术论文目录 | 第48页 |