Paper Interpretation - Flexible Paxos: Quorum intersection revisited 2023-07-29 Computer Science > Consensus
Implementing Multi-Decree Parliament In TLA+ 2023-07-24 Computer Science > Programming Language > TLA+
The Beginner's Guide to TLA+: Specifying and Verifying Distributed Systems 2023-06-26 Computer Science > Programming Language > TLA+
Paper Interpretation - Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions 2023-03-06 Computer Science > Serializability
Paper Interpretation - A Critique of ANSI SQL Isolation Levels 2023-01-05 Computer Science > Serializability