EagleBear2002 的博客

12-16

并发程序一致性综述

12-13

VMCAI'20-Formalizing and Checking Multilevel Consistency

12-07

VLDB'21-Robustness Against Read Committed for Transaction Templates

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

11-17

ICDE'00-Generalized isolation level definitions

11-16

软件学报'21-数据库管理系统中数据异常体系化定义与分类

11-13

Transactional Information Systems

10-21

SIGMOD'95-A Critique of ANSI SQL Isolation Levels