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