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

TitleA Model of Ada Programs for Static Deadlock Detection in Polynomial Time
Publication TypeConference Proceedings
Year of Conference1991
AuthorsMasticola, S., and B. G. Ryder
Conference NameProceedings of 1991 ACM/ONR Workshop on Parallel and Distributed Debugging
Pagination91-102
Date PublishedMay