-
About ballots in Paxos
Why does Paxos need majority acceptance of a value with the same ballot?
-
On the Usage of Atomic Clocks in Spanner
Spanner uses Atomic Clocks for read-only transactions.
-
2PL vs Strict Serializability
2PL ensures "strict" serializability, with assumptions