参数化进程网络的形式化语义研究

摘要	第1-7页
ABSTRACT	第7-12页
第一章 绪论	第12-18页
·研究背景与动机	第12-14页
·国内外研究现状	第14-16页
·本文的主要工作及结构	第16-18页
第二章 基本理论及方法	第18-24页
·形式化语义	第18-20页
·程序统一理论	第20-23页
·本章小结	第23-24页
第三章 参数化进程网络模型指称语义模型	第24-38页
·符号定义与项代数	第25-26页
·参数化进程网络模型	第26-31页
·指称语义模型	第31-36页
·本章小结	第36-38页
第四章 参数化进程网络模型指称语义	第38-56页
·基本单位——参数化标签迁移系统	第38-43页
·Holes	第43页
·并行组合	第43-47页
·网络层次组合	第47-51页
·参数化进程网络模型的语义一致性	第51-55页
·本章小结	第55-56页
第五章 参数化进程网络系统性质探讨	第56-70页
·参数化进程网络系统代数性质	第56-62页
·参数化进程网络模型与进程代数	第62-69页
·LOTOS	第62-63页
·CSP	第63-69页
·本章小结	第69-70页
第六章 总结与展望	第70-72页
·本文工作总结	第70-71页
·未来工作展望	第71-72页
参考文献	第72-79页
致谢	第79-80页
攻读硕士学位期间发表论文和参与科研情况	第80页