| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 缩略词 | 第8-9页 |
| 第一章 绪论 | 第9-13页 |
| 1.1 引言 | 第9页 |
| 1.2 进程代数 | 第9-10页 |
| 1.3 共变-逆变模拟研究现状 | 第10-11页 |
| 1.4 本文的研究内容及结构安排 | 第11-13页 |
| 第二章 基本概念 | 第13-24页 |
| 2.1 EBCCSP | 第13-16页 |
| 2.2 共变-逆变模拟及其逻辑特征 | 第16-23页 |
| 2.2.1 共变-逆变模拟 | 第16-22页 |
| 2.2.2 共变-逆变模拟的逻辑特征 | 第22-23页 |
| 2.3 本章小结 | 第23-24页 |
| 第三章 可观测共变-逆变模拟 | 第24-49页 |
| 3.1 弱共变-逆变模拟 | 第24-30页 |
| 3.2 弱共变-逆变模拟的逻辑特征 | 第30-32页 |
| 3.3 可观测共变-逆变模拟 | 第32-42页 |
| 3.4 (?)_(cc)的代数性质 | 第42-48页 |
| 3.5 本章小结 | 第48-49页 |
| 第四章 公理系统AX_(cc)及其完备性 | 第49-69页 |
| 4.1 公理系统AX_(cc) | 第49-51页 |
| 4.2 AX_(cc)的可靠性 | 第51-54页 |
| 4.3 AX_(cc)的基完备性 | 第54-63页 |
| 4.4 AX_(BCCSP)~1和AX_(BCCSP)~2的ω-完备性 | 第63-68页 |
| 4.5 本章小结 | 第68-69页 |
| 第五章 总结和展望 | 第69-70页 |
| 5.1 全文总结 | 第69页 |
| 5.2 进一步的工作 | 第69-70页 |
| 参考文献 | 第70-74页 |
| 致谢 | 第74-75页 |
| 在学期间的研究成果及发表的学术论文 | 第75页 |