Specifying Systems (TLA+ Book) out and free for personal use (lamport.azurewebsites.net) 8 points by paxos_failure 8y ago ↗ HN
0 comments
[ 2118 ms ] story [ 782 ms ] threadNo comments yet.