Exposure to deadlock for communicating processes is hard to detect - Räuchle, Thomas; Toueg, Sam (Cornell University <Ithaca, NY>, 1983)