DMCA

C.: Sound and complete monitoring of sequential consistency in relaxed memory models (2010)

by Jabob Burnim , Koushik Sen , Christos Stergiou
Citations:19 - 1 self