4 ms·
> I'd really love to see some research into deriving CRDT merge semantics from a formal description of application behaviour. I'm no expert, but I believe synt
by refset 4y ago
> I'd really love to see some research into deriving CRDT merge semantics from a formal description of application behaviour.
I'm no expert, but I believe synthesis approaches are a strong step in that direction: https://arxiv.org/abs/2205.12425 https://arxiv.org/abs/2205.12425