Stephen P. Masticola, Barbara G. Ryder. Static Infinite Wait Anomaly Detection in Polynomial Time. In David A. Padua, editor, Proceedings of the 1990 International Conference on Parallel Processing, Volume 2: Software, Urbana-Champaign, IL, August 1990. pages 78-87, Pennsylvania State University Press, 1990.
Abstract is missing.