Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication.

Jun Zhou, Kuo-Chung Tai

Browse the full ISSRE paper archive.