Abstraction for conflict-free replicated data types.

Hongjin Liang, Xinyu Feng

Browse the full PLDI paper archive.