Gracias a este tipo de programación, Dijkstra fue el primero en presentar una solución al problema de exclusión mutua.