Towards Composable Proofs of Cache Coherence Protocols.

Martina Camaioni, Yann Herklotz, Tz-Ching Yu, Thomas Bourgeat

Browse the full CPP paper archive.