3.1. Deadlock Concepts and Modeling Notes | Operating System BCSIT | PoU | TABFlux