| 并发计算的元模型Ⅴ.并发模型间的关系 |
| |
| 引用本文： | 傅育熙.并发计算的元模型Ⅴ.并发模型间的关系[J].上海交通大学学报,2000,34(7). |
| |
| 作者姓名： | 傅育熙 |
| |
| 作者单位： | 上海交通大学,计算机科学与工程系,上海,200030 |
| |
| 基金项目： | 国家自然科学基金项目 !( 6 98730 32 )，国家“86 3”高技术项目 !( 86 3- 30 6 - ZT0 6 - 0 2 - 2 )资助 |
| |
| 摘 要： | 讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .该翻译保持操作性质和开互模拟等价的代数性质
|
| 关 键 词： | 并发计算理论 进程代数 互模拟 |
Meta Model of Concurrent Computation V. Relating Models |
| |
| FU Yu-xi.Meta Model of Concurrent Computation V. Relating Models[J].Journal of Shanghai Jiaotong University,2000,34(7). |
| |
| Authors: | FU Yu-xi |
| |
| Abstract: | 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. |
| |
| Keywords: | concurrency theory process algebra bisimulation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
