 A New Solution of Dijkstra's Concurrent Programming Problem by Leslie Lamport

By Leslie Lamport. Communications of the ACM17(8),453–455, August1974.

Author-hosted paper: lamport.azurewebsites.net/pubs/bakery.pdf

Cited locators: printed pp.453–454, asynchronous concurrent-process model, critical-section problem, algorithm and correctness assertions. The first PDF page also contains the end of an unrelated preceding article; the Lamport paper starts at its own title/byline on that page.