A Unified Formalization of Four Shared-Memory Models

Sarita V. Adve, Mark D. Hill. A Unified Formalization of Four Shared-Memory Models. IEEE Trans. Parallel Distrib. Syst., 4(6):613-624, 1993. [doi]

Abstract

Abstract is missing.