The Safety-Critical Java Memory Model: A Formal Account

Slides referencing similar topics