The stable failures model extends the traces model with refusal sets, which are sets of events X ⊆ Σ {\displaystyle X\subseteq \Sigma } that a process can refuse to perform.
Το μοντέλο σταθερών αποτυχιών επεκτείνει το μοντέλο ιχνών με σύνολα απόρριψης (refusal sets), που είναι σύνολοα από γεγονότα X ⊆ Σ {\displaystyle X\subseteq \Sigma } , τα οποία μια διεργασία μπορεί να αρνηθεί να εκτελέσει.