Stav dette: Distributed systems. principles and paradigms