分类: 多级隔离级别 | EagleBear2002 的博客

多级隔离级别分类

2024

12-13

VMCAI'20-Formalizing and Checking Multilevel Consistency

12-07

ESOP'21-Verifying Visibility-Based Weak Consistency

11-29

PLDI'15-Declarative programming over eventually consistent data stores

11-29

POPL'19-Weak-Consistency Specification via Visibility Relaxation