View-based axiomatic reasoning for the weak memory models PSO and SRA.
Saved in:
| Title: | View-based axiomatic reasoning for the weak memory models PSO and SRA. |
|---|---|
| Authors: | Bargmann, Lara1, lara.bargmann@uol.de, Wehrheim, Heike1, heike.wehrheim@uol.de |
| Source: | Science of Computer Programming; Feb2025, Vol. 240, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01676423 |
|---|---|
| DOI: | 10.1016/j.scico.2024.103225 |
