Leveraging access mode declarations in a model for memory consistency in heterogeneous systems

Ludovic Henrio, Christoph W. Kessler, Lu Li 0001. Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. J. Log. Algebr. Meth. Program., 110, 2020. [doi]

Abstract

Abstract is missing.