Replicated data types: specification, verification, optimality.

Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski

Browse the full POPL paper archive.