complete inference systems for weak bisimulation equivalences in the [pi]-calculus
文献类型：期刊论文
| 作者 | Lin Huimin |
| 刊名 | Information and Computation
 |
| 出版日期 | 2003 |
| 卷号 | 180期号:1页码:40207 |
| 关键词 | mobile processes pi-calculus bisimulation symbolic bisimulation proof systems process algebra MOBILE PROCESSES |
| 通讯作者 | Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, POB 8718, Beijing 100080, Peoples R China |
| 收录类别 | SCIENCEDIRECT,EI |
| 公开日期 | 2010-08-11 |
| 附注 | Proof systems for weak bisimulation equivalences in the pi-calculus are presented, and their soundness and completeness are shown. Two versions of pi-calculus are investigated, one without and the other with the mismatch operator. For each version of the calculus proof systems for both late and early weak bisimulation equivalences are studied. Thus there are four proof systems in all. These inference systems are related in a natural way: the inference system for early equivalence is obtained from the one for late equivalence by replacing the inference rule for input prefix, while the inference system for the version of pi-calculus with mismatch is obtained by adding a single inference rule for mismatch to the one for the version without it. The proofs of the completeness results rely on the notion of symbolic bisimulation. (C) 2002 Elsevier Science (USA). All rights reserved. |
| 源URL | [http://124.16.136.157/handle/311060/3198]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | Lin Huimin. complete inference systems for weak bisimulation equivalences in the [pi]-calculus[J]. Information and Computation,2003,180(1):40207. |
| APA | Lin Huimin.(2003).complete inference systems for weak bisimulation equivalences in the [pi]-calculus.Information and Computation,180(1),40207. |
| MLA | Lin Huimin."complete inference systems for weak bisimulation equivalences in the [pi]-calculus".Information and Computation 180.1(2003):40207. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。