多态π演算的互模拟等价关系及其公理化

• 作者: 严榴香 田作威 颜锋
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: π演算 类型系统 多态 互模拟 公理系统
• 年，卷（期）: 2010,（10）
• 页码范围: 131-134,164
• 分类号: TP301
• 字数: 4634字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.10.033

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	严榴香	解放军理工大学理学院	7	25	2.0	5.0
2	颜锋	解放军理工大学理学院	2	6	2.0	2.0
3	田作威	解放军理工大学理学院	4	2	1.0	1.0