TY  - RPRT
TI  - Ensuring Liveness Properties of Distributed Systems: Open Problems
AU  - Rob van Glabbeek
PY  - 2019
DO  - 10.1016/j.jlamp.2019.100480
UR  - https://arxiv.org/abs/1912.05616
ID  - 1912.05616
ER  -