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