Event-based proof of the mutual exclusion property of Peterson's algorithm

From MaRDI portal
Publication:271900