An Ω ( <i>n</i> log <i>n</i> ) lower bound on the cost of mutual exclusion (Q5177289)

From MaRDI portal