Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.
| Autor: | HONGYU FAN1 fhy18@mails.tsinghua.edu.cn, ZHIHANG SUN1 sunzh20@mails.tsinghua.edu.cn, FEI HE1 hefei@tsinghua.edu.cn |
|---|---|
| Zdroj: | ACM Transactions on Programming Languages & Systems. Mar2023, Vol. 45 Issue 1, p1-37. 37p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|