Yi Huang, Hengfeng Wei. Incremental Causal Consistency Checking for Read-Write Memory Histories. In Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11 - 12, 2022. pages 181-191, ACM, 2022. [doi]
Abstract is missing.