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)