鲁棒环境演算中的互模拟同余关系

• 作者: 吕建 李斌 陈韬略 韩婷婷
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: 进程代数 环境演算 标号转移系统 互模拟
• 年，卷（期）: 2005,（2）
• 页码范围: 155-161
• 页数: 7页
• 分类号: TP3
• 字数: 5603字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2005.02.007

摘要

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进--鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余关系.同时,作为上述工作的应用,给出了一些重要进程等价性定律的简洁证明.

作者信息

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