View in EDS

View-based axiomatic reasoning for the weak memory models PSO and SRA.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first