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