论文部分内容阅读
类型系统在分布式系统理论中有着非常重要的作用。在为〖WTBX〗π〖WTBZ〗演算引入多态类型系统后，需要对新的环境下进程的等价关系进行研究。在多态类型系统下，环境只能得知进程中通道的抽象类型，而无法得知通道的具体类型，此时环境的区分能力被削弱，所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态〖WTBX〗π〖WTBZ〗演算互模拟的一个公理系统，并证明了公理系统的一致性和完备性。