Fue uno de los primeros algoritmos de exclusión mutua inventados, implementado por Edsger Dijkstra.