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]

Authors

Alex Gontmakher

This author has not been identified. Look up 'Alex Gontmakher' in Google

Assaf Schuster

This author has not been identified. Look up 'Assaf Schuster' in Google