TY  - RPRT
TI  - Ensuring Liveness Properties of Distributed Systems (A Research Agenda)
AU  - Rob van Glabbeek
PY  - 2017
UR  - https://arxiv.org/abs/1711.04240
ID  - 1711.04240
ER  -