同步和异步π演算的表达能力研究

摘要：

以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及输入输出前缀,而异步π演算保留lazy复制算子、并行算子、受限算子、输入前缀以及没有后继的输出消息.研究结果证明了编码在接口互模拟关系下是完全抽象的,从而证明了编码的正确性.进一步说明了在不考虑不确定选择算子的情况下同步通信机制和异步通信机制的等价性,并为π演算的实现提供了理论依据.

关键词：同步π演算、异步π演算、编码、表达能力

所属期刊栏目：15

分类号：TN91

资助基金：国家重点基础研究发展计划973计划2002CB312002;国家高技术研究发展计划863计划2002AA116010;国家自然科学基金60273034

在线出版日期：2005-10-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：18-22