Konsistenz, Verfügbarkeit, Partitionen, Replikation, Quoren und verteilte Transaktionen erklären das Verhalten mehrerer Knoten. Fehlerszenarien werden modelliert, statt das Netzwerk als zuverlässig anzunehmen.