Editing Deadlock (computer science) (section)

==See also==
{{div col|colwidth=20em}}
* [[Aporia]]
* [[Banker's algorithm]]
* [[Catch-22 (logic)]]
* [[Circular reference]]
* [[Dining philosophers problem]]
* [[File locking]]
* [[Gridlock]] (in vehicular traffic)
* [[Hang (computing)]]
* [[Impasse]]
* [[Infinite loop]]
* [[Linearizability]]
* [[Model checker]] can be used to formally verify that a system will never enter a deadlock
* [[Ostrich algorithm]]
* [[Priority inversion]]
* [[Race condition]]
* [[Readers-writer lock]]
* [[Sleeping barber problem]]
* [[Stalemate]]
* [[Synchronization (computer science)]]
* [[Turn restriction routing]]
{{div col end}}