A model for deadlock-free resource allocation. - Robert David Russell (1972)