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

by S V Adve, M D Hill
Venue:IEEE Trans. Parallel & Distributed Syst