Distributed Systems, Architecture, Software Architecture, Разработка, Архитектура.
Интересно, что sequential consistency не композиционна, поэтому этот недостаток решают через добавление линеаризуемости. Эти модели достаточно легко понять, но сложно реализовать в распределенной системе. Causal consistency тоже достаточно понятная модель, которая завязанна на причинность событий.