Joining forces: Toward a unified account of LVars and Convergent Replicated Data Types (2014)

by L Kuper, R R Newton
Venue:In Proc. Workshop Determinism and Correctness in Parallel Programming