model of dijkstra's proposal to the dining philosopher problem