鲁棒环境演算类型演化系统的扩充

• 作者: 冯扬悦 吕建 陈韬略 韩婷婷
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: 进程代数 环境演算 类型演化 类型系统
• 年，卷（期）: 2004,（5）
• 页码范围: 531-539
• 页数: 9页
• 分类号: TP301.6
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2004.05.001

摘要

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.

作者信息

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