|
|||||
|
|
| 并发计算的元模型Ⅲ.互模拟格 | |
| 引用本文： | 傅育熙.并发计算的元模型Ⅲ.互模拟格[J].上海交通大学学报,2000,34(6):732-736. |
| 作者姓名： | 傅育熙 |
| 作者单位： | 上海交通大学,计算机科学与工程系,上海,200030 |
| 基金项目： | 国家自然科学基金!(69873032)，国家863高科技!(863-306-ZT06-02-2)资助项目 |
| 摘 要： | 在有关ｃｈｉ演算的基础上，用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系，即Ｌ－互模拟等价关系，证明了只有４个不同的Ｌ－互模拟等价，在包含关系下，它们构成钻石格。许多常见的互模拟等价都可定义的Ｌ－互模拟等价。 |
| 关 键 词： | 并发计算理论 进程代数 互模拟格 元模型 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |