| 非对称χ≠-演算的基同余 |
| |
| 引用本文： | 钟发荣,傅育熙.非对称χ≠-演算的基同余[J].计算机学报,2005,28(10):1626-1637. |
| |
| 作者姓名： | 钟发荣 傅育熙 |
| |
| 作者单位： | [1]浙江师范大学计算机科学系,金华321004 [2]上海交通大学计算机科学与工程系,上海200030 |
| |
| 基金项目： | 本课题得到国家杰出青年科学基金（60225012）、国家“九七三”重点基础研究发展规划项目基金（2003CB316905）和国家自然科学基金（60473006）资助. |
| |
| 摘 要： | 该文研究非对称χ^≠-演算的基同余．文中引入一组L-互模拟关系，并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系，给出了某些L-互模拟的开模拟性质，利用开模拟性质引入开基互模拟概念，并证明开基互模拟与基互模拟是一致的，构造了基于基同余的可靠和完备的等式系统，最后给出了基同余的完备性定理．
|
| 关 键 词： | 非对称χ^≠-演算 进程代数 L-互模拟关系 等式系统 迁移系统 |
| 收稿时间： | 2004-04-14 |
| 修稿时间： | 2004-04-142004-12-30 |
The Ground Congruence for Asymmetric χ≠- Calculus |
| |
| ZHONG Fa-Rong, FU Yu-Xi.The Ground Congruence for Asymmetric χ≠- Calculus[J].Chinese Journal of Computers,2005,28(10):1626-1637. |
| |
| Authors: | ZHONG Fa-Rong FU Yu-Xi |
| |
| Affiliation: | 1 Department of Computer Science, Zhejiang Normal University, Jinhua 321004; 2 Department of Computer Science and Engineering, Shanghai J iaotong University, Shanghai 200030 |
| |
| Abstract: | |
| |
| Keywords: | process algebra Chi calculus bisimulation axiomatization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
