Masticola, S. P. and Ryder, B. G. "A Model of Ada Programs for Static Deadlock Detection in Polynomial Time". Proceedings oJ the ACM/ONR Workshop on Parallel Distributed Debugging, ACM SIGPLAN Notices, 26(12):97-107, December 1991.
author author author author author author author title title title title title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle journal journal journal pages date date