Unifying Operational Weak Memory Verification: An Axiomatic Approach.
Saved in:
| Title: | Unifying Operational Weak Memory Verification: An Axiomatic Approach. |
|---|---|
| Authors: | DOHERTY, SIMON1, s.doherty@sheffield.ac.uk, DALVANDI, SADEGH2, m.dalvandi@surrey.ac.uk, DONGOL, BRIJESH2, b.dongol@surrey.ac.uk, WEHRHEIM, HEIKE3, heike.wehrheim@uni-oldenburg.de |
| Source: | ACM Transactions on Computational Logic; Oct2022, Vol. 23 Issue 4, p1-39, 39p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15293785 |
|---|---|
| DOI: | 10.1145/3545117 |
