Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.
Saved in:
| Title: | Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. |
|---|---|
| Authors: | HONGYU FAN1, fhy18@mails.tsinghua.edu.cn, ZHIHANG SUN1, sunzh20@mails.tsinghua.edu.cn, FEI HE1, hefei@tsinghua.edu.cn |
| Source: | ACM Transactions on Programming Languages & Systems; Mar2023, Vol. 45 Issue 1, p1-37, 37p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/3579835 |
