Distributed Systems

  • https://jepsen.io
  • Bayou/Dynamo/PNUTS papers
  • Leslie’s TLA+