Dining philosophers problem: Dijkstra's solution