Algebraic Replicated Data Types: Programming Secure Local-First Software. - Christian Kuessner; Ragnar Mogk; Anna-Katharina Wickert; Mira Mezini (ECOOP, 2023)

Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact). - Christian Kuessner; Ragnar Mogk; Anna-Katharina Wickert; Mira Mezini (Dagstuhl Artifacts Ser., 2023)