Verifying the Consistency of Remote Untrusted Services with Commutative Operations.

Christian Cachin, Olga Ohrimenko

Browse the full OPODIS paper archive.