What’s So Different about Blockchain? — Blockchain is a Probabilistic State Machine
Implementing fault-tolerant services using the state machine approach: a tutorial