@article{vanGlabbeek_Hoefner_19,
    author           = {van Glabbeek, Robert and Höfner, Peter},
    date             = {2019-8-30},
    doi              = {https://doi.org/10.1145/3329125},
    issn             = {0360-0300},
    issue            = {4},
    journal          = {ACM Computing Surveys},
    keywords         = {Survey paper; Fairness; Progress; Justness; Liveness; Labelled Transition Systems.},
    month            = aug,
    pages            = {69:1--69:38},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_Hoefner_19.pdf},
    publisher        = {ACM},
    title            = {Progress, Justness and Fairness},
    volume           = {52},
    year             = {2019}
  }