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

• 作者: 吕建 陈韬略 韩婷婷 颜锋
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 同步π演算 异步π演算 编码 表达能力
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: 信息技术
• 页码范围: 18-22
• 页数: 5页
• 分类号: TN91
• 字数: 5488字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-0470.2005.08.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕建	南京大学计算机软件新技术国家重点实验室	120	2738	23.0	51.0
2	陈韬略	南京大学计算机软件新技术国家重点实验室	18	113	4.0	10.0
3	颜锋	南京大学计算机软件新技术国家重点实验室	5	9	2.0	2.0
4	韩婷婷	南京大学计算机软件新技术国家重点实验室	10	17	2.0	3.0