Progress, Justness, and Fairness

Rob van Glabbeek; Peter Höfner

doi:10.1145/3329125

Progress, Justness, and Fairness

Research output: Contribution to journal › Article › peer-review

Abstract

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 language	English
Article number	69
Number of pages	38
Journal	ACM Computing Surveys
Volume	52
Issue number	4
Early online date	30 Aug 2019
DOIs	https://doi.org/10.1145/3329125
Publication status	Published - 1 Jul 2020

Keywords / Materials (for Non-textual outputs)

labelled transition systems
Fairness
liveness
justness

Access to Document

10.1145/3329125Licence: All Rights Reserved

https://dl.acm.org/doi/10.1145/3329125Licence: All Rights Reserved

Cite this

@article{79c99ac6cacc431d99208e11848aff57,

title = "Progress, Justness, and Fairness",

abstract = "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.",

keywords = "labelled transition systems, Fairness, liveness, justness",

author = "{van Glabbeek}, Rob and Peter H{\"o}fner",

year = "2020",

month = jul,

day = "1",

doi = "10.1145/3329125",

language = "English",

volume = "52",

journal = "ACM Computing Surveys",

issn = "0360-0300",

publisher = "Association for Computing Machinery (ACM)",

number = "4",

}

TY - JOUR

T1 - Progress, Justness, and Fairness

AU - van Glabbeek, Rob

AU - Höfner, Peter

PY - 2020/7/1

Y1 - 2020/7/1

N2 - 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.

AB - 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.

KW - labelled transition systems

KW - Fairness

KW - liveness

KW - justness

U2 - 10.1145/3329125

DO - 10.1145/3329125

M3 - Article

SN - 0360-0300

VL - 52

JO - ACM Computing Surveys

JF - ACM Computing Surveys

IS - 4

M1 - 69

ER -

Progress, Justness, and Fairness

Abstract

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this