Что такое operational transformation?

Алгоритм для concurrent editing: когда два пользователя одновременно редактируют текст, их операции трансформируются чтобы результат был одинаковый. Пример: User A вставляет на позиции 3, User B удаляет на позиции 1 — вставка A сдвигается на позицию 2. Операции: insert(pos, char) и delete(pos). Сервер — source of truth, клиенты шлют операции и получают трансформированные. Сложно реализовать правильно, много edge cases.