Modular Relaxed Dependencies in Weak Memory Concurrency

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.