@article {Elmas:2006:0302-9743:193,title = "Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets",
journal = "LECTURE NOTES IN COMPUTER SCIENCE",
parent_itemid = "infobike://ssam/03029743",
publishercode ="ssam",
year = "2006",
volume = "1",
number = "4262",
publication date ="2006-01-01T00:00:00",
pages = "193-208",
itemtype = "ARTICLE",
issn = "0302-9743",
url = "http://www.ingentaconnect.com/content/ssam/03029743/2006/00000001/00004262/art00013"
abstract = "",
author = "Elmas, T. and Qadeer, S. and Tasiran, S.",
}