并发计算的元模型 Ⅴ.并发模型间的关系

Meta Model of Concurrent Computation V. Relating Models

讨论 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.