Peter B. Ladkin, Barbara B. Simons. Static Deadlock Analysis for CSP-Type Communications. In Donald S. Fussell, Miroslaw Malek, editors, Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems. Volume 297 of The Kluwer/Springer International Series in Engineering and Computer Science, pages 89-102, Kluwer / Springer US, 1995. [doi]
Abstract is missing.