An Expressive Framework for Verifying Deadlock Freedom.

Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo

Browse the full ATVA paper archive.