The Java memory model (0)

by J Manson, W Pugh, S Adve
Venue:In Proceedings of POPL (2005