Showing results 1 to 2 of 2
Replicated Data Types: Specification, Verification, Optimality Burckhardt, Sebastian; Gotsman, Alexey; Yang, Hongseok; Zawirski, Marek, ACM SIGPLAN NOTICES, v.49, no.1, pp.271 - 284, 2014-01 |
Specification and space complexity of collaborative text editing Attiya, Hagit; Burckhardt, Sebastian; Gotsman, Alexey; Morrison, Adam; Yang, Hongseok; Zawirski, Marek, THEORETICAL COMPUTER SCIENCE, v.855, pp.141 - 160, 2021-02 |
Discover