EasyChair Smart Slide
ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency
ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency