"Princeton University. Department of Electrical Engineering. Computer Science Laboratory." . . . . . . . "Sequencing tasks in multiprocess, multiple resource systems to avoid deadlocks"@en . . .