|
|||||
|
|
| 并发计算的元模型Ⅱ.对称通信 | |
| 作者姓名： | 傅育熙 |
| 作者单位： | 上海交通大学,计算机科学与工程系,上海,200030 |
| 基金项目： | 国家自然科学基金!(69873032),国家863高科技!(863-306-ZT06-02-2)资助项目 |
| 摘 要： | 在并发计算图模型的基础上,提出了并研究了一新的进程演算,该演算的创新处在于它只有在业前缀操作,故通信是对称的,通过建立从ｐｉ演算到对称ｐｉ演算的翻译,证明ｐｉ演算是对称ｐｉ演算的子语言该翻译既保持前者的操作语义,又保持其代数语义,对称ｐｉ算的意义在于它既简化了ｐｉ演算,又不影响其表达能力。 |
| 关 键 词： | 并发计算理论 进程代数 互模拟 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |