| 弱共变-逆变模拟的公理刻画 |
| |
| 引用本文： | 张威.弱共变-逆变模拟的公理刻画[J].计算机科学,2014,41(11):99-102,106. |
| |
| 作者姓名： | 张威 |
| |
| 作者单位： | 南京航空航天大学计算机科学与技术学院 南京210016 |
| |
| 基金项目： | 本文受国家自然科学基金(60973045)资助 |
| |
| 摘 要： | 进程代数是并发理论研究的主流方向,是分析和描述并发与分布式系统的重要工具之一。模拟是进程代数中刻画精化关系的核心概念。共变-逆变模拟派生于通常的模拟关系,它区分动作的类型,直观上,表达了状态的行为数目越多但并不一定越好的事实。然而,该模拟关系忽略了可观测动作与内动作的区别。因此,给出一种弱共变-逆变模拟关系及其相应的公理刻画,并且建立了该公理系统的可靠性与基完备性,进而证明了该公理系统亦是ω-完备的。
|
| 关 键 词： | 进程代数 共变-逆变模拟 可靠性 完备性 |
| 收稿时间： | 9/1/2013 12:00:00 AM |
| 修稿时间： | 2013/11/20 0:00:00 |
Axiomatizing Weak Covariant-contravariant Simulation Semantics |
| |
| ZHANG Wei.Axiomatizing Weak Covariant-contravariant Simulation Semantics[J].Computer Science,2014,41(11):99-102,106. |
| |
| Authors: | ZHANG Wei |
| |
| Affiliation: | College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China |
| |
| Abstract: | |
| |
| Keywords: | Process algebra Covariant-contravariant simulation Soundness Completeness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
