The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency

Open Webpage

Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev

Published: 01 Jan 2022, Last Modified: 15 May 2025Proc. ACM Program. Lang. 2022EveryoneRevisionsBibTeXCC BY-SA 4.0