Automating Memory Model Metatheory with Intersections.

Aristotelis Koutsouridis, Michalis Kokologiannakis, Viktor Vafeiadis

Browse the full CONCUR paper archive.