On deadlock in computer systems

A system is said to be in "deadlock" whenever it is stuck in a state where each part of the system is waiting for some event that can only be caused/triggered by another part of the system. (which is also waiting for another part, etc.) The various parts wait on eachother, and no progress can be made (the system state cannot change).