模型独立的移动演算理论
| 摘要 | 第1-8页 |
| Abstract | 第8-15页 |
| 第一章 绪论 | 第15-27页 |
| ·进程演算 | 第16-20页 |
| ·基本特征 | 第16-18页 |
| ·历史注解 | 第18-20页 |
| ·交互理论 | 第20-24页 |
| ·问题与动机 | 第21-22页 |
| ·基本原则 | 第22-24页 |
| ·本文主要工作 | 第24-27页 |
| 第二章 预备知识 | 第27-43页 |
| ·交互理论下的π演算 | 第27-40页 |
| ·动机 | 第27-30页 |
| ·名和进程 | 第30-36页 |
| ·观测等价 | 第36-40页 |
| ·传统进程测试理论 | 第40-43页 |
| 第三章 观测理论的研究 | 第43-61页 |
| ·引语 | 第43-45页 |
| ·互模拟等价关系 | 第45-51页 |
| ·观测互模拟 | 第45页 |
| ·barbed 互模拟 | 第45-46页 |
| ·标号互模拟 | 第46-47页 |
| ·开互模拟 | 第47-49页 |
| ·一致定理 | 第49-50页 |
| ·开项上的等价关系 | 第50-51页 |
| ·测试等价 | 第51-59页 |
| ·may | 第51-54页 |
| ·diamond | 第54-58页 |
| ·共终止 | 第58-59页 |
| ·结语 | 第59-61页 |
| 第四章 证明系统的研究 | 第61-89页 |
| ·引语 | 第61-62页 |
| ·代数性质 | 第62-66页 |
| ·观测等价公理 | 第66-73页 |
| ·测试等价公理 | 第73-77页 |
| ·有限控制π进程的box 等价 | 第77-87页 |
| ·结语 | 第87-89页 |
| 第五章 公平灰箱演算上的测试等价研究 | 第89-119页 |
| ·引语 | 第89-91页 |
| ·基本思想 | 第90页 |
| ·相关工作 | 第90-91页 |
| ·公平灰箱演算 | 第91-96页 |
| ·语法与语义 | 第91-95页 |
| ·互模拟等价 | 第95-96页 |
| ·FA 的测试等价 | 第96-106页 |
| ·定义 | 第97-99页 |
| ·性质 | 第99-106页 |
| ·与互模拟的关系以及同余性 | 第106-110页 |
| ·与互模拟的关系 | 第106-108页 |
| ·同余性 | 第108-110页 |
| ·完全抽象的翻译 | 第110-116页 |
| ·结语 | 第116-119页 |
| 第六章 结论 | 第119-123页 |
| 参考文献 | 第123-135页 |
| 索引 | 第135-139页 |
| 致谢 | 第139-140页 |
| 本文工作受到以下项目的支持 | 第140-141页 |
| 攻读博士学位期间发表的学术论文 | 第141-145页 |
| 上海交通大学博士学位论文答辩决议书 | 第145页 |
