灰箱演算的操作语义及表达能力研究
| 摘要 | 第1-7页 |
| ABSTRACT（英文摘要） | 第7-12页 |
| 第一章 概述 | 第12-25页 |
| ·背景介绍 | 第12-16页 |
| ·进程演算的一般背景 | 第12-13页 |
| ·移动计算的形式化模型概览 | 第13-16页 |
| ·交互 | 第16页 |
| ·动机和贡献 | 第16-23页 |
| ·研究动机 | 第17-21页 |
| ·移动灰箱演算 | 第17-18页 |
| ·灰箱演算的各种变体 | 第18-21页 |
| ·主要贡献 | 第21-23页 |
| ·论文的主要内容和结构安排 | 第23-25页 |
| 第二章 半参数化安全灰箱演算 | 第25-65页 |
| ·背景 | 第25-27页 |
| ·HPSA 演算 | 第27-35页 |
| ·语法及规约语义 | 第27-32页 |
| ·基于规约的观测同余 | 第32-35页 |
| ·标号转移语义 | 第35-42页 |
| ·标号转移系统 | 第35-41页 |
| ·基于标号的互模拟 | 第41-42页 |
| ·互模拟性质 | 第42-53页 |
| ·增加通信 | 第53-57页 |
| ·应用 | 第57-64页 |
| ·本章小结 | 第64-65页 |
| 第三章 安全灰箱演算 | 第65-79页 |
| ·安全灰箱演算 | 第65-67页 |
| ·标号转移语义 | 第67-70页 |
| ·标号转移系统 | 第67-69页 |
| ·基于标号的互模拟 | 第69-70页 |
| ·互模拟性质 | 第70-77页 |
| ·本章小结 | 第77-79页 |
| 第四章 灰箱演算的表达能力研究 | 第79-115页 |
| ·公平灰箱演算上的判定问题 | 第79-97页 |
| ·公平灰箱演算 | 第79-80页 |
| ·进程终止问题及WQO | 第80-82页 |
| ·进程终止问题 | 第80-81页 |
| ·良结构转移系统 | 第81-82页 |
| ·FA片段的终止性判定问题 | 第82-97页 |
| ·利用在多重集上的良基偏序 | 第82-90页 |
| ·对灰箱嵌套深度作归纳 | 第90-94页 |
| ·基于子表达式集合的有限性 | 第94-97页 |
| ·进程演算相对表达能力问题 | 第97-113页 |
| ·研究相对表达能力的方法 | 第97-103页 |
| ·基于特殊问题的方法 | 第98-99页 |
| ·基于直接编码的方法 | 第99页 |
| ·基于编码标准的方法 | 第99-103页 |
| ·表达能力的比较标准 | 第103-106页 |
| ·等式理论 | 第103-104页 |
| ·有关表达能力比较的理论 | 第104-106页 |
| ·子互模拟关系在灰箱演算中的应用 | 第106-113页 |
| ·本章小结 | 第113-115页 |
| 第五章 同步π演算到安全灰箱演算的翻译 | 第115-142页 |
| ·背景概要 | 第116-121页 |
| ·同步π演算 | 第116-118页 |
| ·安全灰箱演算的语义 | 第118-121页 |
| ·编码的标准及对以往编码的讨论 | 第121-124页 |
| ·编码的标准 | 第121-123页 |
| ·已有的翻译工作及评价 | 第123-124页 |
| ·从同步π演算到安全灰箱演算的翻译 | 第124-140页 |
| ·翻译方案I：不使用辅助的公开名 | 第124-132页 |
| ·翻译方案II：使用辅助的公开名 | 第132-140页 |
| ·本章小结 | 第140-142页 |
| 第六章 匿名灰箱演算及其应用 | 第142-164页 |
| ·匿名灰箱演算 | 第142-149页 |
| ·标号转移系统 | 第145-146页 |
| ·互模拟的定义 | 第146-148页 |
| ·匿名灰箱演算上的代数性质 | 第148-149页 |
| ·匿名灰箱演算的应用 | 第149-162页 |
| ·对FA 的解释 | 第150页 |
| ·对MA 的解释 | 第150-162页 |
| ·本章小结 | 第162-164页 |
| 第七章 总结与展望 | 第164-167页 |
| ·总结 | 第164-165页 |
| ·展望 | 第165-167页 |
| 参考文献 | 第167-174页 |
| 致谢 | 第174-175页 |
| 索引 | 第175-177页 |
| 攻读博士学位期间发表的论文 | 第177页 |
