Static Deadlock Detection for the SHIM Concurrent Language.

Nalini Vasudevan Stephen A. Edwards Static Deadlock Detection for the SHIM Concurrent Language. 49-58 2008 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2008.4547686 conf/memocode/2008 db/conf/memocode/memocode2008.html#VasudevanE08