Progress, Justness and Fairness

TL;DR

This paper reviews various fairness assumptions in system reasoning, classifies them, and introduces the concept of justness as a more flexible alternative for many applications.

Contribution

It classifies existing fairness properties and proposes justness as a novel, less restrictive fairness concept for system analysis.

Findings

Most fairness assumptions are too restrictive for practical use.

Justness offers a more flexible fairness criterion.

The paper provides a classification framework for fairness properties.

Abstract

Fairness assumptions are a valuable tool when reasoning about systems. In this paper, we classify several fairness properties found in the literature and argue that most of them are too restrictive for many applications. As an alternative we introduce the concept of justness.