3.2. Deadlock Characterization Notes | Operating System BIM | TU | TABFlux