%0 Journal Article %T π-演算中无卫递归的消除 %A 林惠民 %J 软件学报 %D 1997 %I %X 本文提出消除π-演算中无卫递归的公理,证明了将该公理加入到正则π-演算受卫递归子集上的证明系统后,所得到的证明系统在π-演算全体正则子集上关于互模拟等价的可靠性和完备性. %K 进程代数 %K π-演算 %K 互模拟 %K 递归进程 %K 证明系统 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=8359E5F7DE649026FEE220776E6B77A7&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=94C357A881DFC066&sid=4AD4BA66429F5627&eid=377D325742940769&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=15