Exposure to deadlock for communicating processes is hard to detect - Räuchle, Thomas; Toueg, Sam (1983)