Coffman conditions

the four necessary and sufficient conditions for deadlock to occur in multi-agent systems—mutual exclusion, hold and wait, no preemption, and circular wait—which together form a diagnostic framework for identifying and preventing deadlock