A formal hierarchy of weak memory models
From MaRDI portal
Publication:2441720
DOI10.1007/s10703-012-0161-5zbMath1284.68157OpenAlexW2134184428MaRDI QIDQ2441720
Publication date: 28 March 2014
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-012-0161-5
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A fine-grained semantics for arrays and pointers under weak memory models, A Discrete Geometric Model of Concurrent Program Execution
Uses Software
Cites Work