3.6. Deadlock Modelling Verbal Notes | Operating System BIT | TU | TABFlux