Semantic Conflict Model for Collaborative Data Structures. - Georgii Semenov; Vitaly Aksenov (PaPoC@EuroSys, 2026)