The notion of fairness in trace-based formalisms is examined. It is argued that, in general, fairness means machine closure. The notion of hyperfairness introduced by Attie, Francez, and Grumberg is generalized to arbitrary action systems. Also examined are the fairness criteria proposed by Apt, Francez, and Katz.
KeywordsAction System Arbitrary Action Fairness Criterion Machine Closure
Unable to display preview. Download preview PDF.