@inproceedings{vanGlabbeek_19,
    address          = {Prague, Czech Republic},
    author           = {van Glabbeek, Robert},
    booktitle        = {Proceedings of the  22nd International Conference on Foundations of Software Science and
                        Computational Structures},
    date             = {2019-4-5},
    doi              = {https://doi.org/10.1007/978-3-030-17127-8\_29},
    editor           = {{Bojańczyk, Mikolaj and Simpson, Alex}},
    keywords         = {Justness; progress, fairness; completeness criteria; liveness; distributed systems; process algebra;
                        labelled transition systems with concurrency; {CCS}; broadcast communication; signals.},
    month            = apr,
    pages            = {505-522},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_19.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {Justness: {A} Completeness Criterion for Capturing Liveness Properties},
    volume           = {LNCS 11425},
    year             = {2019}
  }