A unified formalization of four shared-memory models (1993)

by S Adve, M Hill
Venue:IEEE Transactions on Parallel and Distributed Systems