|
计算机科学 2000
X—演算与π—演算的语义比较研究Keywords: X-演算,π-演算,计算模型,语义,计算机科学 Abstract: 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.
|