РАСПРЕДЕЛЁННЫЕ СИСТЕМЫ | ConcurSys
Мы исследуем конкурентность, воспроизведение, поведение протоколов и обработку отказов между машинами. Работа опирается на модель координации системы и свойства, которые нужно проверить, не предполагая гарантий сверх согласованной архитектуры.
info@concursys.io