Catch-22 (logic)

gridlock (in vehicular traffic)

hang (computing)

Model checker can be used to formally verify that a system will never enter a deadlock

Synchronization (computer science)

image deadlock

define deadlock

wikipedia deadlock

weblio deadlock

kotobank deadlock

jisho deadlock