published a visual tool to show how deadlock conditions can be modeled using directed graphs.

Question $14$ options:

a$)$

Havender

b$)$

Holt

c$)$

Dijkstra

d$)$

Lane & Mooney