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

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