\(k\)-Arbiter: A safe and general scheme for \(h\)-out of-\(k\) mutual exclusion
scientific article; zbMATH DE number 1189763