Proving Liveness Property under Fairness Requirements
APSEC), 2012 19th Asia-Pacific（2012）
摘要
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.
更多查看译文
关键词
live ness property,fairness constraint,proving liveness property,deductive proof,deductive rule,inference mechanisms,fairness,ranking function,different rule,fairness constraints,different kind,general form,fairness requirements,mixed-fairness,bounded fairness,liveness property proving,m-fairness,strengthened compassion
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要