The Safety-Critical Java Memory Model: A Formal Account.

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock

Browse the full FM paper archive.