Progress, Justness, and Fairness

@article{Glabbeek2019ProgressJA,
  title={Progress, Justness, and Fairness},
  author={R. V. Glabbeek and P. H{\"o}fner},
  journal={ACM Computing Surveys (CSUR)},
  year={2019},
  volume={52},
  pages={1 - 38}
}
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. 
13 Citations

Figures, Tables, and Topics from this paper

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
  • PDF
Ensuring liveness properties of distributed systems: Open problems
  • 5
  • PDF
Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract)
  • 3
  • PDF
2018 Justness A Completeness Criterion for Capturing Liveness Properties
  • 3
  • PDF
Failure Trace Semantics for a Process Algebra with Time-outs (preliminary report)
  • 3
  • PDF
Reactive Temporal Logic
  • PDF
Fair Refinement for Asynchronous Session Types
  • 2
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 16 REFERENCES
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination
  • 327
  • Highly Influential
  • PDF
Weak and Strong Fairness in CCS
  • 68
  • Highly Influential
On the temporal analysis of fairness
  • 763
  • Highly Influential
Appraising fairness in languages for distributed programming
  • 77
  • Highly Influential
  • PDF
On Fairness Notions in Distributed Systems: II. Equivalence-Completions and Their Hierarchies
  • 12
  • Highly Influential
  • PDF
On the extremely fair treatment of probabilistic algorithms
  • 117
  • Highly Influential
A fair calculus of communicating systems
  • 26
  • Highly Influential
Fairness of components in system computations
  • 10
  • Highly Influential
  • PDF
Fairness of Actions in System Computations
  • 12
  • Highly Influential
  • PDF
A Calculus of Communicating Systems
  • R. Milner
  • Mathematics, Computer Science
  • Lecture Notes in Computer Science
  • 1980
  • 4,749
  • Highly Influential
...
1
2
...