非对称x^≠-演算的互模拟格 |
| |
引用本文: | 董笑菊,傅育熙,钟发荣.非对称x^≠-演算的互模拟格[J].计算机研究与发展,2004,41(11):2019-2025. |
| |
作者姓名: | 董笑菊 傅育熙 钟发荣 |
| |
摘 要: | 非对称x^≠-演算是一种移动计算模型.通过研究该演算的互模拟格,能够增强理解非对称性和不等名算子对移动进程代数理论的影响.在给出非对称x^≠-演算的语法和转移语义系统的基础上,定义了该演算的L-互模拟关系.研究表明非对称x^≠-演算的63个L-互模拟关系重叠为12个不同的互模拟关系,而且这12个互模拟关系构成了一个关于集包含的互模拟格.最后证明了barbed互模拟和开互模拟分别与该互模拟格的顶元和底元互模拟关系相重合.
|
关 键 词: | 进程代数 非对称 x-进程 互模拟格 |
本文献已被 维普 等数据库收录! |
|