Pseudo-mutable state

Union of events vs pseudo-mutable shared state

Global state

3-way merge

Possible state types

General merge algorithm for DAGs

Commutativity and associativity

Equivalence of 3merge-recursive vs recursive-3merge