| 一种改进的安全环境演算及其行为等价关系研究 |
| |
| 引用本文： | 韩婷婷,陈韬略,吕建,马骞.一种改进的安全环境演算及其行为等价关系研究[J].小型微型计算机系统,2005,26(6):1037-1041. |
| |
| 作者姓名： | 韩婷婷 陈韬略 吕建 马骞 |
| |
| 作者单位： | 南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093 |
| |
| 基金项目： | 国家重点基础研究发展规划“九七三”项目(2002CB312002)资助，国家自然科学基金(60273034，60233010)资助，国家“八六三”高科技项目(2002AA116010)资助. |
| |
| 摘 要： | 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型．移动环境演算是一种广为使用的描述移动计算的形式化模型．安全环境演算为每个动作原语增加了一个相应的协动作原语，从而解决了强干扰问题．然而，SA的语法定义在直觉上并不能很好地描述out原语的协动作，同时其代数性质也存在一些缺陷．针对这些问题，一方面调整了SA的归约关系，将出入动作的语义统一在“进入时检查”这一约定之下，使其更符合直觉含义．在此基础上，通过采用Honda—Yoshida的技术，定义开接口互模拟等价关系，修正了SA代数性质上的缺陷，并通过一个防火墙的饲子说明了改进的安全环境演算及其行为等价关系的合理性．
|
| 关 键 词： | 移动计算 进程代数 安全环境演算 上下文互模拟 |
| 文章编号： | 1000-1220(2005)06-1037-05 |
Variant of Safe Ambient Calculus and its Contextual Bisimulation |
| |
| HAN Ting-ting,Chen Tao-Lue,LU Jian,MA Qian.Variant of Safe Ambient Calculus and its Contextual Bisimulation[J].Mini-micro Systems,2005,26(6):1037-1041. |
| |
| Authors: | HAN Ting-ting Chen Tao-Lue LU Jian MA Qian |
| |
| Abstract: | |
| |
| Keywords: | mobile computation process algebra safe ambient contextual bisimulation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
