research data . Dataset . 2016
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
Pichon-Pharabod, Jean; Sewell, Peter;
- Published: 01 Jan 1970
- Publisher: Association for Computing Machinery (ACM)
Download from