Diganta Goswami Rajib Mall A parallel algorithm for static slicing of concurrent programs. 751-769 2004 16 Concurrency - Practice and Experience 8 http://dx.doi.org/10.1002/cpe.789 db/journals/concurrency/concurrency16.html#GoswamiM04