Treffer: LoRe: A Programming Model for Verifiably Safe Local-first Software.

Title:
LoRe: A Programming Model for Verifiably Safe Local-first Software.
Source:
ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-26. 26p.
Database:
Business Source Ultimate