全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

X—演算与π—演算的语义比较研究

Keywords: X-演算,π-演算,计算模型,语义,计算机科学

Full-Text   Cite this paper   Add to My Lib

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.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133