LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)

Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini. LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). DARTS, 9(2), 2023. [doi]

Abstract

Abstract is missing.