Specifying memory consistency of write buffer multiprocessors (2007)

by J Higham, L Jackson, J Kawash
Venue:ACM Trans. Comput. Syst