expansive-bisimulation for context-free processes

	expansive-bisimulation for context-free processes
	Liu Xinxin
	2007
会议名称	Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	472-482
会议日期	SEP 24-25,
会议地点	Macao, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	Formal Methods and Hybrid Real-Time Systems
ISSN	0302-9743
ISBN	978-3-540-75220-2
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	Through the notion of expansive-bisimulation, in this paper we give a finite characterization of bisimulation equivalence for context-free processes, i.e. we show that two context-free processes are bisimulation equivalent if and only if there
关键词	Computer Simulation Set Theory
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11116
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Liu Xinxin. expansive-bisimulation for context-free processes[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Formal Methods and Hybrid Real-Time Systems,2007:472-482.