DMCA

Form Methods Syst Des (2011) 39:297–331 DOI 10.1007/s10703-011-0131-3 Verification of STM on relaxed memory models (2011)

by Rachid Guerraoui , Thomas A. Henzinger , Vasu Singh , T. A. Henzinger , V. Singh , T. A. Henzinger