Brief announcement: concurrency-aware linearizability. - Nir Hemed; Noam Rinetzky (PODC, 2014)

Modular Verification of Concurrency-Aware Linearizability. - Nir Hemed; Noam Rinetzky; Viktor Vafeiadis (DISC, 2015)