All Title Author
Keywords Abstract

软件学报  1997 

π-演算中无卫递归的消除

Keywords: 进程代数,π-演算,互模拟,递归进程,证明系统

Full-Text   Cite this paper   Add to My Lib

Abstract:

本文提出消除π-演算中无卫递归的公理,证明了将该公理加入到正则π-演算受卫递归子集上的证明系统后,所得到的证明系统在π-演算全体正则子集上关于互模拟等价的可靠性和完备性.

Full-Text

comments powered by Disqus