Java consistency: nonoperational characterizations for Java memory behavior

Alex Gontmakher, Assaf Schuster. Java consistency: nonoperational characterizations for Java memory behavior. ACM Trans. Comput. Syst., 18(4):333-386, 2000. [doi]

Abstract

Abstract is missing.