Deadlock Detection for Concurrent Programs Using Resource Footprints.

Sonam Sherpa, Abdi Vicenciodelmoral, Xinghui Zhao

Browse the full UCC paper archive.