"Discovering thread interactions in a concurrent system."

Jonathan E. Cook, Zhidian Du (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics