Compositional deadlock detection for rendezvous communication.

Baolin Shao, Nalini Vasudevan, Stephen A. Edwards

Browse the full EMSOFT paper archive.