Tag: resource allocation graph with deadlock