Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
The Journal of logical and algebraic methods in programming/Journal of logical and algebraic methods in programming