Σ-演算的范畴模型 |
| |
引用本文: | 王飓安,李未.Σ-演算的范畴模型[J].北京航空航天大学学报,1992(3). |
| |
作者姓名: | 王飓安 李未 |
| |
作者单位: | 北京航空航天大学计算机科学与工程系
(王飓安),北京航空航天大学计算机科学与工程系(李未) |
| |
摘 要: | Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。
|
关 键 词: | 并发 通信 形式化方法 范畴论 |
本文献已被 CNKI 等数据库收录! |
|