proving liveness property under fairness requirements

ISCAS OpenIR

	proving liveness property under fairness requirements
	Long Teng; Zhang Wenhui
	2012
会议名称	19th Asia-Pacific Software Engineering Conference, APSEC 2012
会议录名称	Proceedings - Asia-Pacific Software Engineering Conference, APSEC
页码	674-682
会议日期	December 4, 2012 - December 7, 2012
会议地点	Hong Kong, China
收录类别	EI
ISSN	1530-1362
ISBN	9780769549224
部门归属	(1) State Key Laboratory of Computer Science School of Information Science and Engineering Graduate University of China Academy of Sciences Beijing China; (2) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China
摘要	Different rules for proving properties have been studied for systems with different kinds of fairness constraints, such as justice, compassion and strengthened compassion. This work considers a kind of bounded fairness and propose a general form that includes these fairness constraints. The general form is referred to as mixed-fairness (m-fairness for short). A deductive rule for proving live ness properties under m-fairness is presented with examples illustrating the application of the deductive rule. © 2012 IEEE.; Different rules for proving properties have been studied for systems with different kinds of fairness constraints, such as justice, compassion and strengthened compassion. This work considers a kind of bounded fairness and propose a general form that includes these fairness constraints. The general form is referred to as mixed-fairness (m-fairness for short). A deductive rule for proving live ness properties under m-fairness is presented with examples illustrating the application of the deductive rule. © 2012 IEEE.
关键词	Engineering Industrial Engineering
主办者	IEEE Hong Kong Section Computer Society Chapter; ACM Hong Kong Chapter
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15953
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Long Teng,Zhang Wenhui. proving liveness property under fairness requirements[C],2012:674-682.