Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems
Linearizability: a correctness condition for concurrent objects