Slicing Concurrent Programs Based on Program Reachability Graphs | IEEE Conference Publication | IEEE Xplore