Implementation Correctness for Replicated Data Types, Categorically.

Fabio Gadducci, Hernn C. Melgratti, Christian Roldn, Matteo Sammartino

Browse the full ICTAC paper archive.