非对称X～≠-演算符号互模拟验证

摘要	第1-4页
ABSTRACT	第4-11页
第一章 引言	第11-17页
·研究背景	第11-12页
·进程代数发展历史	第12-15页
·Petri网模型	第12-13页
·CSP	第13页
·CCS	第13-14页
·π-演算	第14页
·x-演算	第14-15页
·本文研究内容和成果	第15页
·本文结构	第15-17页
第二章 非对称x~≠-演算	第17-25页
·引言	第17页
·非对称x~≠-演算的语法	第17-18页
·非对称x~≠-演算的语义	第18-20页
·互模拟	第20-23页
·小结	第23-25页
第三章 非对称x~≠-演算的符号化	第25-34页
·引言	第25页
·条件和替换	第25-27页
·非对称x~≠-演算的符号操作语义	第27-28页
·非对称x~≠-演算的符号开互模拟	第28-31页
·可靠性和完备性	第31-33页
·小论	第33-34页
第四章 非对称x~≠-演算的符号互模拟验证算法	第34-45页
·引言	第34-35页
·符号迁移图与谓词等式系	第35-37页
·符号迁移图	第35-36页
·谓词等式系	第36-37页
·符号互模拟验证算法	第37-43页
·举例	第43-44页
·小结	第44-45页
第五章 结束语	第45-46页
参考文献	第46-49页
致谢	第49-50页
攻读硕士学位期间发表和录用的学术论文	第50-51页