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