| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-18页 |
| ·引言 | 第10-11页 |
| ·移动计算与π-演算 | 第11-12页 |
| ·移动计算与MOBILE AMBIENTS | 第12-13页 |
| ·进程演算的行为理论 | 第13-14页 |
| ·MOBILE AMBIENTS 的行为理论 | 第14-16页 |
| ·本文的研究内容及结构安排 | 第16-18页 |
| 第二章 基本概念和性质 | 第18-38页 |
| ·MA 的语法定义 | 第18-19页 |
| ·MA 的归约语义 | 第19-23页 |
| ·结构同余 | 第19-21页 |
| ·归约关系 | 第21-22页 |
| ·归约barbed 同余 | 第22-23页 |
| ·MA 的LTS 及其性质 | 第23-35页 |
| ·MA 的LTS | 第23-28页 |
| ·LTS 的性质 | 第28-35页 |
| ·互模拟 | 第35-36页 |
| ·UP-TO 证明技术 | 第36-38页 |
| 第三章 MERRO 和NARDELLI 工作的证明缺陷 | 第38-45页 |
| ·(?)S的完备性“定理” | 第38-42页 |
| ·文献[1]中完备性的证明思路 | 第38-41页 |
| ·完备性的证明缺陷 | 第41-42页 |
| ·UP-TO 证明技术 | 第42-45页 |
| 第四章 强互模拟下MA 的行为理论 | 第45-52页 |
| ·强互模拟与弱互模拟 | 第45页 |
| ·归约语义 | 第45-47页 |
| ·强互模拟技术 | 第47-52页 |
| ·强互模拟及其基本性质 | 第47-49页 |
| ·Up to ≡ | 第49-52页 |
| 第五章 强互模拟的可靠性及UP-TO 技术 | 第52-69页 |
| ·约束算子和复合算子的保持性 | 第52-55页 |
| ·强互模拟的可靠性 | 第55-65页 |
| ·迟强UP TO 上下文 | 第65-69页 |
| 第六章 早强互模拟的完备性 | 第69-79页 |
| ·基本性质 | 第69-70页 |
| ·早强互模拟～_e 的完备性 | 第70-79页 |
| 第七章 总结与展望 | 第79-81页 |
| ·全文总结 | 第79页 |
| ·进一步的工作 | 第79-81页 |
| 参考文献 | 第81-84页 |
| 致谢 | 第84-85页 |
| 在学期间的研究成果 | 第85页 |