TY  - CONF

T1  - A high-level semantics for program execution under total store order memory

JO  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PY  - 2013/01/01

AU  - Dongol B

AU  - Travkin O

AU  - Derrick J

AU  - Wehrheim H

ED  - 

DO  - DOI: 10.1007/978-3-642-39718-9-11

SN  - 9783642397172

VL  - 8049 LNCS

SP  - 177

EP  - 194

Y2  - 2024/10/23

ER  -