On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms

From MaRDI portal
Publication:992514