TY  - JOUR

T1  - Reasoning Algebraically About Refinement on TSO Architectures

JO  - THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014

UR  - https://eprints.whiterose.ac.uk/id/eprint/113097

UR  - https://doi.org/10.1007/978-3-319-10882-7_10

PY  - 2014/01/01

AU  - Dongol B

AU  - Derrick J

AU  - Smith G

ED  - 

DO  - DOI: 10.1007/978-3-319-10882-7_10

PB  - Springer Verlag

VL  - 8687

SP  - 151

EP  - 168

Y2  - 2025/11/27

ER  -