A formal model of data access for multicore architectures with multilevel caches

Shiji Bijo, Einar Broch Johnsen, Ka-I Pun, Silvia Lizeth Tapia Tarifa. A formal model of data access for multicore architectures with multilevel caches. Science of Computer Programming, 179:24-53, 2019. [doi]

Abstract

Abstract is missing.