Completely Reducible Resource Graphs and Deadlock Freedom

Company: Tesco_15sep

Difficulty: medium