DMCA

Replicated data types: specification, verification, optimality (2014)

by Sebastian Burckhardt , Alexey Gotsman , Hongseok Yang , Marek Zawirski
Venue:In Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Citations:15 - 7 self