Reasoning Algebraically About Refinement on TSO Architectures.

Brijesh Dongol, John Derrick, Graeme Smith

Browse the full ICTAC paper archive.