Victor B. F. Gomes
- Verifying strong eventual consistency in distributed systems
2017/07/31 by Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan +1 · 56 citations
Computer Science · #Abstraction #Axiom #Cloud Computing and Resource Management #Consistency (knowledge bases) #Consistency model #Convergence (economics) #Correctness #Distributed and Parallel Computing Systems #Distributed systems and fault tolerance #Mathematical proof #Modular design #Replication (statistics) #cs.DC