Martin Kleppmann
Identifiers
- name variant Martin Kleppmann 0.60 · backfill
Papers (4)
- OpSets: Sequential Specifications for Replicated Datatypes (Extended Version) cs.DC · 2018 · author #1
- Verifying Strong Eventual Consistency in Distributed Systems cs.DC · 2017 · author #2
- A Conflict-Free Replicated JSON Datatype cs.DC · 2016 · author #1
- A Critique of the CAP Theorem cs.DC · 2015 · author #1
Mentions
- 1509.05393 #1 · backfill · confidence 0.70 Martin Kleppmann
Frequent Coauthors
- Alastair R. Beresford 3 shared papers
- Dominic P. Mulligan 2 shared papers
- Victor B. F. Gomes 2 shared papers