A New Solution of Dijkstra's Concurrent Programming Problem by Leslie Lamport (source code)

= A New Solution of Dijkstra's Concurrent Programming Problem by Leslie Lamport
{c}
{tag=Work by Leslie Lamport}
{title2=1974}

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

Author-hosted paper: https://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.