@article {Elmas:2010:0302-9743:296,title = "Simplifying Linearizability Proofs with Reduction and Abstraction",
journal = "LECTURE NOTES IN COMPUTER SCIENCE",
parent_itemid = "infobike://ssam/03029743",
publishercode ="ssam",
year = "2010",
volume = "1",
number = "6015",
publication date ="2010-01-01T00:00:00",
pages = "296-311",
itemtype = "ARTICLE",
issn = "0302-9743",
url = "http://www.ingentaconnect.com/content/ssam/03029743/2010/00000001/00006015/art00025"
abstract = "",
author = "Elmas, T. and Qadeer, S. and Sezgin, A. and Subasi, O. and Tasiran, S.",
}