a complete symbolic bisimulation for full applied pi calculus

	a complete symbolic bisimulation for full applied pi calculus
	Liu Jia ; Lin Huimin
	2010
会议名称	36th Conference on Current Trends in Theory and Practice of Computer Science
会议日期	JAN 23-29,
会议地点	Spindleruv Mlyn, CZECH REPUBLIC
关键词	Computer science
页码	552-563
英文摘要	Symbolic characterizations 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 concrete bisimulation. Moreover, our approach accommodates recursions hence works for the full calculus.
会议主办者	Acad Sci Czech Republic, Inst Comp Sci, Charles Univ, Fac Math & Phys, Act M Agcy, CA, IBM, Profinit, SUN, Microsoft
会议录	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议录出版者	SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS
会议录出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
ISSN号	0302-9743
ISBN号	978-3-642-11265-2
内容类型	会议论文
源URL	[http://124.16.136.157/handle/311060/8578]
专题	软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式 GB/T 7714	Liu Jia,Lin Huimin. a complete symbolic bisimulation for full applied pi calculus[C]. 见:36th Conference on Current Trends in Theory and Practice of Computer Science. Spindleruv Mlyn, CZECH REPUBLIC. JAN 23-29,.