Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types. - Tim Jungnickel; Lennart Oldenburg; Matthias Loibl (OPODIS, 2017)

The IMAP CmRDT. - Tim Jungnickel; Lennart Oldenburg; Matthias Loibl (Arch. Formal Proofs, 2017)