Static Deadlock Detection for the SHIM Concurrent Language.

Nalini Vasudevan, Stephen A. Edwards

Browse the full MEMOCODE paper archive.