A High-Level Semantics for Program Execution under Total Store Order Memory.

Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim

Browse the full ICTAC paper archive.