A New Solution of Dijkstra's Concurrent Programming Problem (Lamport, 1974) [pdf]lamport.azurewebsites.net2 pointstosh7 years ago