>Distributed systems are essentially state machines. If every state transition is performed correctly, we will have a distributed system that works as expected.

>Distributed systems are essentially state machines. If every state transition is performed correctly, we will have a distributed system that works as expected. I imagine huge distributed systems as Markov chains, where transitions are probabilistic rather than deterministic.