| 非对称带不等算子的χ≠-演算 |
| |
| 引用本文： | 钟发荣.非对称带不等算子的χ≠-演算[J].淮北煤炭师范学院学报(自然科学版),2006,27(2):1-13. |
| |
| 作者姓名： | 钟发荣 |
| |
| 作者单位： | 浙江师范大学计算机科学系,浙江,金华,321004 |
| |
| 基金项目： | 浙江省自然科学基金委资助项目(Y105272);Supported by the Zhejiang Provincial Natural Science Foundation of China(Y105272) |
| |
| 摘 要： | 文章系统研究非对称带不等算子χ≠-演算进程上的互模拟.通过构造互模拟格,从全部L-互模拟关系中导出12个互异的L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出3个更新律,并修改了3个τ律.最后,给出了14个同余关系的可靠完备系统.
|
| 关 键 词： | 进程演算 Chi进程 互模拟 公理化 |
| 文章编号： | 1672-7177(2006)02-0001-13 |
| 修稿时间： | 2005年2月27日 |
The Asymmetric χ≠- Calculus |
| |
| ZHONG Fa-rong.The Asymmetric χ≠- Calculus[J].Journal of Huaibei Coal Industry Teachers College(Natural Science edition),2006,27(2):1-13. |
| |
| Authors: | ZHONG Fa-rong |
| |
| Abstract: | In this paper a systematic investigation into all of bisimilarities on asymmetric χ≠- processes is carried out.Twelve distinct L- bisimilarities are derived from all of L- bisimilarities by constructing a bisimulation lattice,and then their weak open congruences and the early open and late open congruences are investigated.Three update laws are proposed and three tau laws are modified.Finally the sound and complete systems are established for fourteen congruences. |
| |
| Keywords: | process calculi chi process bisimulation axiomatization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
