Compositional deadlock detection for rendezvous communication. - Baolin Shao; Nalini Vasudevan; Stephen A. Edwards (EMSOFT, 2009)