Dijkstra’s Philosophers