Mirko Köhler 0001, George Zakhour, Pascal Weisenburger, Guido Salvaneschi. Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications. IEEE Trans. Software Eng., 51(1):53-65, January 2025. [doi]
Abstract is missing.