Spécification des objets partagés dans les systèmes répartis sans-attente. (Specification of shared objects in wait-free distributed systems)

Matthieu Perrin. Spécification des objets partagés dans les systèmes répartis sans-attente. (Specification of shared objects in wait-free distributed systems). PhD thesis, University of Nantes, France, 2016. [doi]

Abstract

Abstract is missing.