Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications.

Xiaofang Qi, Baowen Xu

Browse the full ICCS paper archive.