计算机应用研究

作者：林荣德,江华,黄建新,

单位：1.华侨大学数学科学学院计算科学福建省高校重点实验室,福建泉州362000；2.惠州学院计算机科学与工程学院,广东惠州516007；3.闽南师范大学粒计算省重点实验室,福建漳州363000；

关键词：移动界程演算,标号互模拟,上下文观察等价,界程逻辑,模型检测,

基金：国家自然科学基金资助项目(11871259,61379021,11701258)；福建省自然科学基金资助项目(2016J01304,2015J01269,2019J01751)；福建省高校创新团队发展计划资助项目；泉州市高层次人才团队项目(2017ZT012)；；

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

来源：2020年第3期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2020年第3期