%0 Journal Article
%T π-演算中无卫递归的消除
%A 林惠民？
%J 软件学报
%P 321-326
%D 1997
%X 本文提出消除π－演算中无卫递归的公理，证明了将该公理加入到正则π－演算受卫递归子集上的证明系统后，所得到的证明系统在π－演算全体正则子集上关于互模拟等价的可靠性和完备性.
%K 进程代数
%K π－演算
%K 互模拟
%K 递归进程
%K 证明系统
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19970501&flag=1