Modular Relaxed Dependencies in Weak Memory Concurrency - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty. Modular Relaxed Dependencies in Weak Memory Concurrency. In Peter Müller 0001, editor, Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Volume 12075 of Lecture Notes in Computer Science, pages 599-625, Springer, 2020. [doi]

The following publications are possibly variants of this publication:

The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrencyAlan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev. PACMPL, 6(POPL):1-30, 2022. [doi]

runs on WebDSL