Publications

Verifying the consistency of remote untrusted services with conflict-free operations

• • Christian Cachin
  • Olga Ohrimenko
• 2018
• Information and Computation