Institutional Repository
| a complete symbolic bisimulation for full applied pi calculus | |
| Liu Jia; Lin Huimin | |
| 2012 | |
| Source | Theoretical Computer Science
 |
| ISSN | 3043975 |
| Volume | 458Pages:76-112 |
| English Abstract | Symbolic characterisations of bisimilarities for the applied pi calculus proposed so far are sound but incomplete, even restricted to the finite fragment of the calculus. In this paper we present a novel approach to symbolic semantics for the applied pi calculus, leading to a notion of symbolic bisimulation which is both sound and complete with respect to the standard labelled bisimilarity. Moreover, our framework accommodates replications hence works for the full calculus. © 2012 Elsevier B.V. All rights reserved. |
| Indexed Type | ei |
| Department | (1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14730 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Liu Jia,Lin Huimin. a complete symbolic bisimulation for full applied pi calculus[J]. Theoretical Computer Science,2012,458:76-112. |
| APA | Liu Jia,&Lin Huimin.(2012).a complete symbolic bisimulation for full applied pi calculus.Theoretical Computer Science,458,76-112. |
| MLA | Liu Jia,et al."a complete symbolic bisimulation for full applied pi calculus".Theoretical Computer Science 458(2012):76-112. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 1-s2.0-S030439751200（501KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment