Ο τυπικός ορισμός αδιεξόδου αφορά σε ένα σύνολο μπλοκαρισμένων διεργασιών που περιμένουν κάποιο συμβάν. Τα συμβάντα αυτά παράγονται μόνο εσωτερικά.
Αρκεί μία συνθήκη του Coffman για να έχουμε αδιέξοδο πόρων.
Η πρώτη συνθήκη του Coffman (αμοιβαίος αποκλεισμός) απαγορεύει τον καταμερισμό πόρων.
Η δεύτερη συνθήκη του Coffman (δέσμευση και αναμονή) δεν επιτρέπει σε διεργασίες με εκχωρημένους πόρους να ζητήσουν επιπλέον πόρους.
Η τρίτη συνθήκη του Coffman (μη προεκτόπιση) δεν επιτρέπει σε διεργασίες να αφαιρούν ήδη εκχωρημένους πόρους.
Η τέταρτη συνθήκη του Coffman (κυκλική αναμονή) αφορά μια σειριακή λίστα διεργασιών που κάθε μία περιμένει την προηγούμενή της.