Brandon Holt, Irene Zhang, Dan R. K. Ports, Mark Oskin, Luis Ceze. Claret: using data types for highly concurrent distributed transactions. In Carlos Baquero, Marco Serafini, editors, Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April 21, 2015. ACM, 2015. [doi]
Abstract is missing.