Syntax and semantics of the weak consistency model specification language cat – PaperGrep

https://papergrep.dev/paper/syntax-and-semantics-of-the-weak-consistency-be1722