View-based axiomatic reasoning for the weak memory models PSO and SRA. - Bargmann, Lara; Wehrheim, Heike (Science of Computer Programming, 2025)