Transaction

本文介绍一篇事务一致性模型论文的形式化框架，并解释原子可见性等概念的直观含义。