%0 Journal Article
%T 类型化π演算的双代数语义
%A 黎永基  李师贤  周晓聪
%J -
%D 2012
%X 证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的..
%K [共代数
%K 双代数
%K π演算
%K 进程语义
%K 互模拟
%K coalgebra
%K bialgebra
%K π-calculus
%K process semantics
%K bisimulation]
%U http://crad.ict.ac.cn/CN/Y2012/V49/I8/1773