Progress, Justness and Fairness

@article{Glabbeek2018ProgressJA,
  title={Progress, Justness and Fairness},
  author={Rob J. van Glabbeek and Peter H{\"o}fner},
  journal={CoRR},
  year={2018},
  volume={abs/1810.07414}
}
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. 
6
Twitter Mentions

Figures, Tables, and Topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

2018 Justness A Completeness Criterion for Capturing Liveness Properties

VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-10 OF 52 REFERENCES

A Calculus of Communicating Systems

Robin Milner
  • LNCS, Vol. 92. Springer
  • 1980
VIEW 26 EXCERPTS
HIGHLY INFLUENTIAL

Fairness Assumptions for CSP in a Temporal Logic Framework

  • Formal Description of Programming Concepts
  • 1982
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Proving Liveness Properties of Concurrent Programs

  • ACM Trans. Program. Lang. Syst.
  • 1982
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

The temporal logic of programs

  • 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
  • 1977
VIEW 14 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…