a complete symbolic bisimulation for full applied pi calculus

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	a complete symbolic bisimulation for full applied pi calculus
	Liu Jia ; Lin Huimin
刊名	Theoretical Computer Science
	2012
卷号	458 页码:76-112
ISSN号	3043975
英文摘要	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
语种	英语
公开日期	2012-11-12
内容类型	期刊论文
源URL	[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.