移动界程演算理论及应用研究综述

• 作者: 林荣德 江华 黄建新
• 来源期刊: 计算机应用研究
• 关键词: 移动界程演算 标号互模拟 上下文观察等价 界程逻辑 模型检测
• 年，卷（期）: 2020,（3）
• 所属期刊栏目: 综述评论
• 页码范围: 648-654
• 页数: 7页
• 分类号: TP311
• 语种: 中文
• DOI: 10.19734/j.issn.1001-3695.2018.10.0722

摘要

移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支.对移动界程演算的理论及应用方面的研究和发展进行了概述,对移动界演算的扩展语义和代数性质的分析方法、移动界演算的空间逻辑和模型检测算法以及移动界程在计算系统建模方面应用现状进行了整理和分析,并对该领域未来进一步研究的方向进行了展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林荣德	华侨大学数学科学学院计算科学福建省高校重点实验室	13	14	2.0	2.0
2	黄建新	华侨大学数学科学学院计算科学福建省高校重点实验室	9	34	2.0	5.0
3	江华	惠州学院计算机科学与工程学院	5	5	1.0	2.0