A Brief History of Shared Memory
S. Brookes

Abstract. We present a general framework for deﬁning denotational 
semantic models of shared memory parallel programs, based on an ab- 
stract notion of state. We show how this framework can be used to es- 
tablish natural relationships between traditional models of concurrency 
and more recent models based on separation principles. We formulate an 
intuitively reasonable characterization of when one model of state imple- 
ments another, and we show that semantics based on related notions of 
state induce the same notions of partial and total correctness behavior.