The Java Memory Model: Operationally, Denotationally, Axiomatically

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio

In: Rocco de Nicola (Hg.). Proc. 16th Europ. Symp. Programming (ESOP'07). Lect. Notes Comp. Sci. 4421, Springer, Berlin, 2007. S. 331-346.