Institutional Repository
| proving liveness property under fairness requirements | |
| Long Teng; Zhang Wenhui | |
| 2012 | |
| Conference Name | 19th Asia-Pacific Software Engineering Conference, APSEC 2012 |
| Source | Proceedings - Asia-Pacific Software Engineering Conference, APSEC |
| Pages | 674-682 |
| Conference Date | December 4, 2012 - December 7, 2012 |
| Conference Place | Hong Kong, China |
| 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 |
| 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.; 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. |
| Keyword | Engineering Industrial Engineering |
| Sponsorship | IEEE Hong Kong Section Computer Society Chapter; ACM Hong Kong Chapter |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15953 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Long Teng,Zhang Wenhui. proving liveness property under fairness requirements[C],2012:674-682. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment