ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency.

Dan Frumin, Robbert Krebbers, Lars Birkedal

Browse the full LICS paper archive.