3.1.2. Deadlock Characterization Visual Notes | Operating System BSC-CSIT | TU | TABFlux