@techreport{vanGlabbeek_Hofner_18:tr,
    author           = {van Glabbeek, Robert and Hofner, Peter},
    date             = {2018-10-19},
    institution      = {Data61, CSIRO},
    keywords         = {Survey paper; Fairness; Progress; Justness; Liveness; Labelled Transition Systems.},
    month            = oct,
    numpages         = {36},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_Hofner_18%3Atr.pdf},
    publisher        = {CSIRO},
    title            = {Progress, Justness and Fairness},
    year             = {2018}
  }