@article{Alglave:2012:FHW:2385125.2385127,
    Address = {Hingham, MA, USA},
    Author = {Alglave, Jade},
    File = {A Formal Hierarchy of Weak Memory Models - Alglave (0) (0) - a - a - y.pdf},
    ISSN = {0925-9856},
    Journal = {Form. Methods Syst. Des.},
    Keywords = {Formal proofs, Semantics, Weak memory models},
    Month = {October},
    Number = {2},
    Pages = {178--210},
    Publisher = {Kluwer Academic Publishers},
    Title = {A Formal Hierarchy of Weak Memory Models},
    URL = {http://dx.doi.org/10.1007/s10703-012-0161-5},
    Volume = {41},
    Year = {2012},
    acmid = {2385127},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10703-012-0161-5},
    date-added = {2013-12-03 12:07:22 +0000},
    date-modified = {2013-12-03 12:07:22 +0000},
    issue_date = {October 2012},
    numpages = {33},
    doi = {10.1007/s10703-012-0161-5}
}

@article{Alglave:2012:FHW:2385125.2385127, Address = {Hingham, MA, USA}, Author = {Alglave, Jade}, File = {A Formal Hierarchy of Weak Memory Models - Alglave (0) (0) - a - a - y.pdf}, ISSN = {0925-9856}, Journal = {Form. Methods Syst. Des.}, Keywords = {Formal proofs, Semantics, Weak memory models}, Month = {October}, Number = {2}, Pages = {178--210}, Publisher = {Kluwer Academic Publishers}, Title = {A Formal Hierarchy of Weak Memory Models}, URL = {http://dx.doi.org/10.1007/s10703-012-0161-5}, Volume = {41}, Year = {2012}, acmid = {2385127}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10703-012-0161-5}, date-added = {2013-12-03 12:07:22 +0000}, date-modified = {2013-12-03 12:07:22 +0000}, issue_date = {October 2012}, numpages = {33}, doi = {10.1007/s10703-012-0161-5} }