DATA61
UNSW Sydney
Australian National University
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.
@techreport{vanGlabbeek_Hoefner_18:tr, month = oct, numpages = {36}, keywords = {Survey paper; Fairness; Progress; Justness; Liveness; Labelled Transition Systems.}, institution = {Data61, CSIRO}, publisher = {CSIRO}, author = {van Glabbeek, Rob and Hoefner, Peter}, title = {Progress, Justness and Fairness}, paperurl = {https://trustworthy.systems/publications/csiro_full_text/vanGlabbeek_Hoefner_18%3Atr.pdf}, year = {2018}, date = {2018-10-19} }