A more efficient generalization of Peterson's mutual exclusion algorithm

From MaRDI portal
Publication:918655