Defining fairness in reactive and concurrent systemsHagen VölzerDaniele Varacca2012Journal of the ACM