HN Explorer

paxos_failure

↗ HN profile [ 22.6 ms ] full profile
Karma
3
Created
April 2, 2018 (8y ago)
Submissions
0
  1. Specifying Systems (TLA+ Book) out and free for personal use (lamport.azurewebsites.net)
    8 points 0