deciding weak bisimilarity of normed context-free processes using     tableau

	deciding weak bisimilarity of normed context-free processes using tableau
	Liu Xinxin; Chen Haiyan
	2007
会议名称	4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007)
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	337-350
会议日期	SEP 26-28,
会议地点	Macao, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	Theoretical Aspects of Computing - ICTAC 2007, Proceedings
ISSN	0302-9743
ISBN	978-3-540-75290-5
部门归属	Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100080, Peoples R China.
摘要	Deciding strong and weak bisimilarity of context-free processes are challenging because of the infinite nature of the state space of such processes. Deciding weak bisimilarity is harder since the usual decomposition property which holds for st
关键词	Computer Simulation Numerical Methods Trees (Mathematics)
主办者	Formal Methods Europe, Macao Polytech Inst, United Natl Univ
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11128
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Liu Xinxin,Chen Haiyan. deciding weak bisimilarity of normed context-free processes using tableau[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Theoretical Aspects of Computing - ICTAC 2007, Proceedings,2007:337-350.