对象并发演算模型及对象语言语义研究

前言	第1-4页
摘要	第4-5页
Abstract	第5-6页
目录	第6-8页
第一章 引言	第8-11页
·本文背景和目的	第8-10页
·本文概要	第10-11页
第二章 面向对象语言模型及其讨论	第11-15页
·基于操作的模型	第11-12页
·基于Lambda演算的模型	第12-13页
·基于Actor的模型	第13页
·基于进程演算的模型	第13页
·面向对象语言模型讨论	第13-15页
第三章 并发模型	第15-26页
·Pi演算	第15-22页
·Pi演算基本定义	第16-19页
·Pi演算语义	第19-21页
·多元Pi演算	第21-22页
·异步Pi演算	第22页
·Actor模型	第22-24页
·Pi演算和Actor模型比较	第24-26页
第四章 Actor对象演算--AOC	第26-40页
·AOC定义	第26-28页
·AOC语义	第28-29页
·AOC应用	第29-38页
·AOC扩充	第38-40页
第五章 对象语言OL及其语义	第40-51页
·OL语言	第40-45页
·OL语言语义	第45-51页
第六章 结论	第51-53页
·总结	第51页
·将来研究	第51-53页
致谢	第53-54页
参考文献	第54-58页
附录: 攻读学位期间发表的学术论文	第58页