Local and global fairness in concurrent systems. - Alon Brook; Doron A. Peled; Sven Schewe (MEMOCODE, 2015)