Skip to main content

Progress, justness and fairness


Rob van Glabbeek and Peter Hoefner


UNSW Sydney


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.

BibTeX Entry

    author           = {van Glabbeek, Rob and Hoefner, Peter},
    month            = oct,
    date             = {2018-10-19},
    year             = {2018},
    keywords         = {Survey paper; Fairness; Progress; Justness; Liveness; Labelled Transition Systems.},
    title            = {Progress, Justness and Fairness},
    institution      = {Data61, CSIRO},
    numpages         = {36},
    publisher        = {CSIRO}


Served by Apache on Linux on seL4.