咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 移动界程演算
  • 1 篇 标号互模拟
  • 1 篇 上下文观察等价
  • 1 篇 界程逻辑
  • 1 篇 模型检测

机构

  • 1 篇 惠州学院
  • 1 篇 华侨大学
  • 1 篇 闽南师范大学

作者

  • 1 篇 jiang hua
  • 1 篇 江华
  • 1 篇 huang jianxin
  • 1 篇 林荣德
  • 1 篇 黄建新
  • 1 篇 lin rongde

语言

  • 1 篇 中文
检索条件"主题词=标号互模拟"
1 条 记 录,以下是1-10 订阅
排序:
移动界程演算理论及应用研究综述
收藏 引用
计算机应用研究 2020年 第3期37卷 648-654页
作者: 林荣德 江华 黄建新 华侨大学数学科学学院计算科学福建省高校重点实验室 福建泉州362000 惠州学院计算机科学与工程学院 广东惠州516007 闽南师范大学粒计算省重点实验室 福建漳州363000
移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发... 详细信息
来源: 评论