Ensuring liveness properties of distributed systems: Open problems - van Glabbeek, Rob (Journal of logical and algebraic methods in programming, 2019)