>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.