"Discovering Thread Interactions in a Concurrent System."

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