Institutional Repository
| complete inference systems for weak bisimulation equivalences in the [pi]-calculus | |
| Lin Huimin; Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, POB 8718, Beijing 100080, Peoples R China | |
| 2003 | |
| Source | Information and Computation
![]() |
| Volume | 180Issue:1Pages:40207 |
| Indexed Type | sciencedirect,ei |
| Keyword | Mobile Processes Pi-calculus Bisimulation Symbolic Bisimulation Proof Systems Process Algebra Mobile Processes |
| Department | 1. Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3198 |
| Collection | 基础软件与系统重点实验室 |
| Corresponding Author | Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, POB 8718, Beijing 100080, Peoples R China |
| Recommended Citation GB/T 7714 | Lin Huimin,Lin, HM . complete inference systems for weak bisimulation equivalences in the [pi]-calculus[J]. Information and Computation,2003,180(1):40207. |
| APA | Lin Huimin,&Lin, HM .(2003).complete inference systems for weak bisimulation equivalences in the [pi]-calculus.Information and Computation,180(1),40207. |
| MLA | Lin Huimin,et al."complete inference systems for weak bisimulation equivalences in the [pi]-calculus".Information and Computation 180.1(2003):40207. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment