@techreport{vanGlabbeek_Hfner_15:tr,
    issn             = {1833-9646-8501},
    month            = jan,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8501.pdf},
    year             = {2015},
    keywords         = {process algebra, fairness, justness, progress, linear temporal logic},
    title            = {Progress, Fairness and Justness in Process Algebra},
    institution      = {NICTA},
    number           = {8501},
    author           = {van Glabbeek, Robert and H\"ofner, Peter},
    address          = {Australia}
  }