Progress, Justness, and Fairness

Rob van Glabbeek, Peter Höfner

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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.
Original languageEnglish
Article number69
Number of pages38
JournalACM Computing Surveys
Issue number4
Early online date30 Aug 2019
Publication statusPublished - 1 Jul 2020

Keywords / Materials (for Non-textual outputs)

  • labelled transition systems
  • Fairness
  • liveness
  • justness


Dive into the research topics of 'Progress, Justness, and Fairness'. Together they form a unique fingerprint.

Cite this