A Unified Formal Specification and Analysis of the New Java Memory Models [chapter]

Varsha Awhad, Charles Wallace
2003 Lecture Notes in Computer Science  
doi:10.1007/3-540-36498-6_9 fatcat:fhqxszcjsrbpxfv4zbgkrsxy5a