An Axiomatic Specification for Sequential Memory Models.

William Mansky, Dmitri Garbuzov, Steve Zdancewic

Browse the full CAV paper archive.