"Pruning Interference and Ready Dependence for Slicing Concurrent Java ..."

Venkatesh Prasad Ranganath, John Hatcliff (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics