@techreport{vanGlabbeek_Hoefner_18:tr, author = {van Glabbeek, Robert and Hoefner, 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_Hoefner_18%3Atr.pdf}, publisher = {CSIRO}, title = {Progress, Justness and Fairness}, year = {2018} }