@article{vanGlabbeek_19_3,
    address          = {-},
    author           = {van Glabbeek, Robert},
    date             = {2019-8-21},
    doi              = {https://doi.org/10.1016/j.jlamp.2019.100480},
    journal          = {Journal of Logical and Algebraic Methods in Programming},
    keywords         = {Liveness; fairness; justness; progress; distributed systems; concurrency; process algebra; temporal
                        logic; labelled transition systems; Petri nets; semantic equivalences; strong bisimulation; fair
                        schedulers; mutual exclusion; expressiveness; routing protocols; wireless mesh networks; structural
                        operational semantics; probabilistic processes.},
    month            = aug,
    pages            = {1-19},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_19_3.pdf},
    publisher        = {Elsevier},
    title            = {Ensuring Liveness Properties of Distributed Systems: Open Problems},
    volume           = {109},
    year             = {2019}
  }