Positivbeispiel: Abwesenheit von Verklemmungen (Deadlocks)