Модели слабой консистентности в специализированных приложениях. CAP теорема. Протокол 2PC.

Резервирование отелей и авиалиний.
Корзина покупок пользователя.
Последовательные коммуницирующие процессы и состояния распределенной системы.
Виртуальная синхрония.