An operational semantics of cache coherent multicore architectures.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Browse the full SAC paper archive.