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

Research of Semantic Comparison between Χ-calculus and π-calculus

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

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

出　　处：《计算机科学》2000年第2期10-13,共4页Computer Science

摘　　要：1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。自Milner提出CCS以来,计算机科学家提出了许多计算模型。u.Engberg和M.Nielsen研究过一并发计算模型,提出了CHOCS类语言。但这些模型都存在不同程度的问题。为了找出一个可与λ-演算相比的并发计算模型。Through the comparison of syntactic structure,operational semantics and algebraic 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-演算 Π-演算 计算模型 语义 计算机科学 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]