χ-演算与π-演算的语义比较研究  

χ－ calculus andπ－ calculus

作　　者：徐林[1] 傅育熙[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《微电子学与计算机》2000年第5期30-34,共5页Microelectronics & Computer

摘　　要：文章通过对χ－演算与π－演算的进程中语法结构、操作语义、代数语义的比较，阐明了χ－演算具有比π－演算更简洁的语法结构、更明确的操作语义、更直观的代数语义、更良好的代数性质、更强大的表达能力。并且给出了一个由π－演算到χ－演算的翻译。Through the comparison of syntactic structure、 operational semantics and algearbraic semantics betweenχ－ calculus andπ－ calculus,this paper concludes thatχ－ calculus has more succinct syntactic structure、 more explicit operational semantics、 more intuitionistic algebraic semantics and more favorable algebraic property. And a translation fromπ－ calculus toχ－ calculus is presented.

关 键 词：语义比较 X-演算 Π-演算 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]