| Title: | proving liveness property under fairness requirements |
| Author: | Long Teng
; Zhang Wenhui
|
| Source: | Proceedings - Asia-Pacific Software Engineering Conference, APSEC
|
| Conference Name: | 19th Asia-Pacific Software Engineering Conference, APSEC 2012
|
| Conference Date: | December 4, 2012 - December 7, 2012
|
| Issued Date: | 2012
|
| Conference Place: | Hong Kong, China
|
| Keyword: | Engineering
; Industrial engineering
|
| Indexed Type: | EI
|
| ISSN: | 1530-1362
|
| ISBN: | 9780769549224
|
| Department: | (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
|
| Sponsorship: | IEEE Hong Kong Section Computer Society Chapter; ACM Hong Kong Chapter
|
| Abstract: | 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. |
| English Abstract: | 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. |
| Language: | 英语
|
| Content Type: | 会议论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/15953
|
| Appears in Collections: | 软件所图书馆_会议论文
|
|
There are no files associated with this item.
|
| Recommended Citation: | |
Long Teng,Zhang Wenhui. proving liveness property under fairness requirements[C]. 见:19th Asia-Pacific Software Engineering Conference, APSEC 2012. Hong Kong, China. December 4, 2012 - December 7, 2012.
|
|
|
