Relaxed-memory concurrency and verified compilation (2011)

by Jaroslav Sevčík , Viktor Vafeiadis,et al.
Venue:IN PROC. POPL
Citations:8 - 1 self