ISCAS OpenIR
a complete symbolic bisimulation for full applied pi calculus
Liu Jia; Lin Huimin
2012
SourceTheoretical Computer Science
ISSN3043975
Volume458Pages:76-112
English AbstractSymbolic 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 Typeei
Department(1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China
Language英语
Content Type期刊论文
URIhttp://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) 开放获取LicenseApplication Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Liu Jia]'s Articles
[Lin Huimin]'s Articles
Baidu academic
Similar articles in Baidu academic
[Liu Jia]'s Articles
[Lin Huimin]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Liu Jia]'s Articles
[Lin Huimin]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.