LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract).

Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini

Browse the full ECOOP paper archive.