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]
No references recorded for this publication.
No citations of this publication recorded.