1. On starvation prevention;Courtois;RAIRO Informatique/Computer Science,1977
2. Hierarchical ordering of sequential processes;Dijkstra;Acta Informat.,1974
3. A class of allocation strategies inducing bounded delays only;Dijkstra;Proc. SJCC,1972
4. A general mechanism for the local control of starvation: application to the dining philosophers and to the reader-writer problem;Devillers,1977