Stav dette: Distributed systems : principles and paradigms /