|
|||||
|
|
| 类型化π演算的双代数语义 | |
| 引用本文： | 黎永基,李师贤,周晓聪.类型化π演算的双代数语义[J].计算机研究与发展,2012,49(8):1773-1780. |
| 作者姓名： | 黎永基 李师贤 周晓聪 |
| 作者单位： | 中山大学计算机科学系 广州 510275 |
| 基金项目： | 国家自然科学基金项目，中央高校基本科研业务费专项基金项目 |
| 摘 要： | 证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子,则最大共代数互模拟同余.但已有双代数理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进程互模拟与共代数互模拟不一致.为解决以上两个问题,用稠密拓扑导出布尔范畴作为语义范畴,令行为函子保持弱回拉;定义一类行为函子,使最大进程互模拟与最大共代数互模拟一致,而迟语义和早语义对应的行为函子属于该类函子.进而给出π演算最大进程互模拟同余的双代数模型,为进一步应用双代数框架对其他复杂演算建模奠定了理论基础. |
| 关 键 词： | 共代数 双代数 π演算 进程语义 互模拟 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |