Exposure to Deadlock for Communicating Processes is Hard to Detect.

Thomas Räuchle Sam Toueg Exposure to Deadlock for Communicating Processes is Hard to Detect. 63-68 1985 21 Inf. Process. Lett. 2 db/journals/ipl/ipl21.html#RauchleT85