detection of a set of states in distributed systems

	detection of a set of states in distributed systems
	Huang Hongtao
	2008
会议名称	15th Asia-Pacific Software Engineering Conference
会议录名称	Proceedings - Asia-Pacific Software Engineering Conference, APSEC
页码	281-288
会议日期	DEC 02-05,
会议地点	Beijing, PEOPLES R CHINA
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS
ISSN	1530-1362
ISBN	978-0-7695-3446-6
部门归属	Huang, Hongtao Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing 100190, Peoples R China.
摘要	This paper discusses detection of a set of states in Definitely modality in a distributed system, which means determining whether all paths from the initial state to the final state in the state space of the distributed computation pass throug
关键词	Disjunctive Normal Form Distributed System Debugging Distributed System Testing Predicate Detection State Space Detection Distributed Processing Program Debugging Program Testing
主办者	Natl Nat Sci Fdn China, Chinese Acad Sci, Inst Software
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10610
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Huang Hongtao. detection of a set of states in distributed systems[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS,2008:281-288.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
04724558.pdf（242KB）			开放获取	--	请求全文