%0 Journal Article
%T X—演算与π—演算的语义比较研究
%A 徐林
%A 傅育熙
%J 计算机科学
%D 2000
%I 
%X 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.
%K X－演算
%K π－演算
%K 计算模型
%K 语义
%K 计算机科学
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=732DFBAE3988A4CE&yid=9806D0D4EAA9BED3&vid=DB817633AA4F79B9&iid=0B39A22176CE99FB&sid=F3090AE9B60B7ED1&eid=FC0714F8D2EB605D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12