|
|||||
|
|
| 并发计算的元模型Ⅰ.图模型 | |
| 作者姓名： | 傅育熙 |
| 作者单位： | 上海交通大学计算机科学与工程系!上海200030 |
| 摘 要： | 借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .本文用证明论方法研究并行理论 ,为进程代数演算开辟了一条新的研究途径 . |
| 本文献已被 CNKI 等数据库收录！ | |