Verification of Causality Requirements in Java Memory Model Is Undecidable.

Matko Botincan, Paola Glavan, Davor Runje

Browse the full PPAM paper archive.