inference systems for observation equivalences in the pi-calculus
文献类型：期刊论文
| 作者 | Lin Huimin |
| 刊名 | Science in China Series E-technological Sciences
 |
| 出版日期 | 1999 |
| 卷号 | 42期号:6页码:657-669 |
| 关键词 | inference system equivalence pi-calculus MOBILE PROCESSES |
| 通讯作者 | Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China |
| 收录类别 | SCI |
| WOS记录号 | WOS:000084653300013 |
| 公开日期 | 2010-08-24 |
| 附注 | Inference systems for observation equivalences in the pi-calculus with recursion are proposed, and their completeness over the finite-control fragment with guarded recursions are proven. The inference systems consist of inference rules and equational axioms. The judgments are conditional equations which characterise symbolic bisimulations between process terms. This result on the one hand generalises Milner's complete axiomatisation of observation equivalence for regular CCS to the pi-calculus, and on the other hand extends the proof systems of strong bisimulations for guarded regular pi-calculus to observation equivalences. |
| 源URL | [http://124.16.136.157/handle/311060/4498]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | Lin Huimin. inference systems for observation equivalences in the pi-calculus[J]. Science in China Series E-technological Sciences,1999,42(6):657-669. |
| APA | Lin Huimin.(1999).inference systems for observation equivalences in the pi-calculus.Science in China Series E-technological Sciences,42(6),657-669. |
| MLA | Lin Huimin."inference systems for observation equivalences in the pi-calculus".Science in China Series E-technological Sciences 42.6(1999):657-669. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。