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

Tayfun Elmas Shaz Qadeer Serdar Tasiran Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. 193-208 2006 conf/fates/2006 FATES/RV http://dx.doi.org/10.1007/11940197_13 db/conf/fates/fates2006.html#ElmasQT06