A more efficient generalization of Peterson's mutual exclusion algorithm
scientific article; zbMATH DE number 4160099