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

VL  - 8049 LNCS

SP  - 177

EP  - 194

Y2  - 2025/11/27

ER  -