Verifying Linearizability on TSO Architectures.

John Derrick, Graeme Smith, Brijesh Dongol

Browse the full IFM paper archive.