A Model of Ada Programs for Static Deadlock Detection in Polynomial Time

Stephen P. Masticola, Barbara G. Ryder. A Model of Ada Programs for Static Deadlock Detection in Polynomial Time. In Workshop on Parallel and Distributed Debugging. pages 97-107, 1991.

Abstract

Abstract is missing.