移动进程作为程序语言库函数的研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-10页 |
| 表格索引 | 第10-11页 |
| 插图索引 | 第11-12页 |
| 中英文术语对照表 | 第12-13页 |
| 第一章 绪论 | 第13-17页 |
| ·研究背景和意义 | 第13-14页 |
| ·研究现状 | 第14-15页 |
| ·研究内容和成果 | 第15页 |
| ·本文结构 | 第15-17页 |
| 第二章 预备知识 | 第17-28页 |
| ·程序语言(?) | 第17-19页 |
| ·进程演算 | 第19-25页 |
| ·∏-演算 | 第21页 |
| ·基本定义 | 第21-23页 |
| ·操作语义 | 第23-25页 |
| ·互模拟 | 第25页 |
| ·进程作为理论 | 第25-27页 |
| ·理论的操作语义 | 第25-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 翻译 | 第28-34页 |
| ·基本思想 | 第28页 |
| ·常量名和保留名 | 第28-30页 |
| ·翻译构造 | 第30-33页 |
| ·变量申明 | 第30-31页 |
| ·函数申明 | 第31页 |
| ·顺序语句 | 第31页 |
| ·表达式 | 第31-32页 |
| ·赋值语句 | 第32-33页 |
| ·条件语句 | 第33页 |
| ·循环语句 | 第33页 |
| ·本章小结 | 第33-34页 |
| 第四章 库函数和进程等价关系 | 第34-49页 |
| ·设计库函数集合LIB | 第34页 |
| ·实现库函数集合LIB | 第34-41页 |
| ·用(?)实现库函数集合LIB(?) | 第34-39页 |
| ·用∏-演算来高效实现库函数集合LIB_∏ | 第39-41页 |
| ·等价关系 | 第41-46页 |
| ·LIB作为理论 | 第46-48页 |
| ·本章小结 | 第48-49页 |
| 全文总结 | 第49-51页 |
| 参考文献 | 第51-53页 |
| 致谢 | 第53-54页 |
| 攻读学位论文期间发表的学术论文目录 | 第54页 |
