| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 1 绪论 | 第9-16页 |
| ·会话类型理论的背景及意义 | 第9-11页 |
| ·研究现状及问题 | 第11-13页 |
| ·本文的主要工作 | 第13-14页 |
| ·本文的结构 | 第14-16页 |
| 2 会话类型基础理论 | 第16-24页 |
| ·类型系统的形式化定义 | 第16-17页 |
| ·会话类型理论结构组成 | 第17-19页 |
| ·会话类型的子类型与有界多态性 | 第19-20页 |
| ·会话类型的对偶关系 | 第20-21页 |
| ·Delegation | 第21页 |
| ·Pi-演算概述 | 第21-23页 |
| ·语法 | 第22页 |
| ·操作语义 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 3 基于Delegation的有界多态会话类型系统 | 第24-37页 |
| ·语法 | 第24-29页 |
| ·类型语法 | 第24-27页 |
| ·进程语法 | 第27-29页 |
| ·进程的操作语义和同余关系 | 第29-31页 |
| ·环境 | 第31-33页 |
| ·类型指派系统 | 第33-36页 |
| ·子类型指派规则 | 第33-35页 |
| ·类型指派规则 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 4 会话类型系统的通信安全性 | 第37-46页 |
| ·类型系统可靠性 | 第37-42页 |
| ·主体归约理论 | 第37-41页 |
| ·类型安全理论 | 第41-42页 |
| ·新旧类型系统的比较 | 第42-43页 |
| ·实例阐述 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 5 总结与展望 | 第46-49页 |
| ·工作总结 | 第46-47页 |
| ·工作展望 | 第47-49页 |
| 参考文献 | 第49-54页 |
| 致谢 | 第54-55页 |
| 攻读学位期间取得的研究成果 | 第55-57页 |