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