Sequential-ConsistencyIntroduction to sequential consistency and linearizability calendar May 12, 2026 - clock 14 min read