Matko Botincan, Paola Glavan, Davor Runje. Verification of Causality Requirements in Java Memory Model Is Undecidable. In Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics, 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II. Volume 6068 of Lecture Notes in Computer Science, pages 62-67, Springer, 2009. [doi]
Abstract is missing.