Progress, Justness, and Fairness
Rob van Glabbeek, Peter Höfner · ACM Computing Surveys · 2019
Fairness assumptions are a valuable tool when reasoning about systems. In this article, 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.