###
DOI:
Journal of Software:1997.8(5):321-326

π-演算中无卫递归的消除
林惠民
(中国科学院软件研究所,北京,100080)
ON REMOVING UNGUARDED RECURSIONS IN THE π CALCULUS
LIN Huimin
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2334   Download 2532
Received:September 16, 1996    Revised:March 14, 1997
> 中文摘要: 本文提出消除π-演算中无卫递归的公理,证明了将该公理加入到正则π-演算受卫递归子集上的证明系统后,所得到的证明系统在π-演算全体正则子集上关于互模拟等价的可靠性和完备性.
中文关键词: 进程代数  π-演算  互模拟  递归进程  证明系统  
Abstract:Axioms for removing unguarded recursions in the π calculus are proposed. It is shown that these two axioms are sound with respect to bisimulation equivalence, and are sufficient to reduce any unguarded recursively defined processes into guarded forms. Hence, by adding these axioms to the proof systems for guarded regular π calculus, complete proof systems for the whole regular π calculus are obtained.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金,中国科学院“九五”基础性研究重点项目资助. 本文研究得到国家自然科学基金,中国科学院“九五”基础性研究重点项目资助.
Foundation items:
Reference text:

林惠民.π-演算中无卫递归的消除.软件学报,1997,8(5):321-326

LIN Huimin.ON REMOVING UNGUARDED RECURSIONS IN THE π CALCULUS.Journal of Software,1997,8(5):321-326