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