Ohad Shacham. Verifying atomicity of composed concurrent operations. PhD thesis, Tel Aviv University, Israel, 2012. [doi]
@phdthesis{il-803, title = {Verifying atomicity of composed concurrent operations}, author = {Ohad Shacham}, year = {2012}, url = {https://tau.primo.exlibrisgroup.com/permalink/972TAU_INST/bai57q/alma990023973660204146}, note = {Tel Aviv University Library}, researchr = {https://researchr.org/publication/il-803}, cites = {0}, citedby = {0}, school = {Tel Aviv University, Israel}, }