Algorithmic methods for the verification of consistency in distributed systems. (Méthodes algorithmiques pour la vérification de la consistance dans les systèmes distribués)

Rachid Zennou. Algorithmic methods for the verification of consistency in distributed systems. (Méthodes algorithmiques pour la vérification de la consistance dans les systèmes distribués). PhD thesis, Paris Cité University, France, 2021. [doi]

Abstract

Abstract is missing.