A new solution of dijkstra’s concurrent programming problem (1974)

by Leslie Lamport
Venue:Commun. ACM