10.3969/j.issn.1007-130X.2010.10.033
多态π演算的互模拟等价关系及其公理化
类型系统在分布式系统理论中有着非常重要的作用.在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究.在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙.本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性.
π演算、类型系统、多态、互模拟、公理系统
TP301(计算技术、计算机技术)
2011-01-06(万方平台首次上网日期,不代表论文的发表时间)
共5页
131-134,164