Baolin Shao, Nalini Vasudevan, Stephen A. Edwards. Compositional deadlock detection for rendezvous communication. In Samarjit Chakraborty, Nicolas Halbwachs, editors, Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009. pages 59-66, ACM, 2009. [doi]
Abstract is missing.