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