Remarks on Memory Consistency Description

Ludwik Czaja. Remarks on Memory Consistency Description. In Zbigniew Suraj, Ludwik Czaja, editors, Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015. Volume 1492 of CEUR Workshop Proceedings, pages 103-114, CEUR-WS.org, 2015. [doi]

Abstract

Abstract is missing.