A framework for programming using non-atomic variables
Ambuj K. Singh · 2002
The semantics of interprocess communication occurring through shared objects is investigated. A number of definitions of non-atomic memory are considered. Two different notions of commutativity are defined. These are later used to develop conditions under which computations using a non-atomic memory are equivalent to atomic histories with regard to the final state of the objects.>