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

Jun Zhou, Kuo-Chung Tai. Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication. In 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China. pages 222-231, IEEE Computer Society, 2001. [doi]

Authors

Jun Zhou

This author has not been identified. Look up 'Jun Zhou' in Google

Kuo-Chung Tai

This author has not been identified. Look up 'Kuo-Chung Tai' in Google