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

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

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

颜锋，田作威，严榴香

On the Bisimulation Equivalences in Polymorphic π Calculus and Axiomatisations

YAN Feng，TIAN Zuowei，YAN Liuxiang

J4 . 2010, (10): 131 -134 . DOI: 10.3969/j.issn.1007130X.2010.