"Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets."

Tayfun Elmas, Shaz Qadeer, Serdar Tasiran (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics