a complete symbolic bisimulation for full applied pi calculus

ISCAS OpenIR

	a complete symbolic bisimulation for full applied pi calculus
	Liu Jia; Lin Huimin
	2012
发表期刊	Theoretical Computer Science
ISSN	3043975
卷号	458 页码:76-112
摘要	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.
收录类别	ei
部门归属	(1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/14730
专题	中国科学院软件研究所
推荐引用方式 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.