PrideMM: Second Order Model Checking for Memory Consistency Models

von Cooksey, Simon
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Modular Relaxed Dependencies in Weak Memory Concurrency

von Paviotti, Marco
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)