Trace Semantics and Algebraic Laws for Total Store Order Memory Model
Crossref DOI link: https://doi.org/10.1007/s11390-021-1616-1
Published Online: 2021-11-30
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Xiao, Li-Li
Zhu, Hui-Biao
Xu, Qi-Wen
Text and Data Mining valid from 2021-11-30
Version of Record valid from 2021-11-30
Article History
Received: 27 May 2021
Accepted: 7 November 2021
First Online: 30 November 2021