摘要
讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .
This is the fifth of a series of papers on concurrent computation models. The paper investigated the relationship between the pi calculus and chi calculus. It is shown that there is a translation from the former to the latter that preserves both the operational and algebraic semantics. The observational equalities used in the comparison is the open bisimilarity. The translation shows that chi is at least as expressive as pi.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2000年第7期864-867,共4页
Journal of Shanghai Jiaotong University
基金
国家自然科学基金项目 !( 6 98730 32 )
国家"86 3"高技术项目 !( 86 3- 30 6 - ZT0 6 - 0 2 - 2 )资助