@inproceedings{inproceedings, title  = {{Proving linearizability via non-atomic refinement}},

 url = {{}},

 year = {{2007}},

 month = {{1}},

 author = {{Derrick J and Schellhorn G and Wehrheim H}},

 volume = {{4591}},

 journal = {{Integrated Formal Methods, Proceedings}},

 pages = {{195-214}},

 note = {{Accessed on 2024/12/22}}}