Тази магистърска теза представя изчерпателна таксономия на архитектурите за синхронизация в съвременните разпределени системи. Тя изследва фундаменталните компромиси между моделите на последователност и производителността, за да подпомогне вземането на решения при изграждането на локални приложения с приоритет офлайн режим.