Trustworthy Systems

Progress, justness and fairness

Authors

Rob van Glabbeek and Peter Hoefner

DATA61

UNSW Sydney

Australian National University

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.

BibTeX Entry

  @article{vanGlabbeek_Hoefner_19,
    author           = {van Glabbeek, Robert and H\"{o}fner, Peter},
    date             = {2019-8-30},
    doi              = {https://doi.org/10.1145/3329125},
    issn             = {0360-0300},
    issue            = {4},
    journal          = {ACM Computing Surveys},
    keywords         = {Survey paper; Fairness; Progress; Justness; Liveness; Labelled Transition Systems.},
    month            = aug,
    pages            = {69:1--69:38},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_Hoefner_19.pdf},
    publisher        = {ACM},
    title            = {Progress, Justness and Fairness},
    volume           = {52},
    year             = {2019}
  }

Download