一个移动进程演算的互模拟同余定义框架

• 作者: 吕建 李斌 胡昊 陈韬略
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 并发理论 移动进程演算 互模拟 通用框架
• 年，卷（期）: 2004,（1）
• 页码范围: 11-15,27
• 页数: 6页
• 分类号: TP3
• 字数: 8675字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2004.01.003

摘要

并发计算模型是理论计算机科学研究的重要领域之一.以π演算为代表的移动进程演算是目前并发理论的研究热点.互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣.本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之间的关系.模型的优点在于它的普适性和开放性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕建	南京大学计算机软件新技术国家重点实验室	120	2738	23.0	51.0
2	胡昊	南京大学计算机软件新技术国家重点实验室	25	428	6.0	20.0
3	陈韬略	南京大学计算机软件新技术国家重点实验室	18	113	4.0	10.0
4	李斌	南京大学计算机软件新技术国家重点实验室	56	376	12.0	18.0