Distributed systems concurrency and consistency / - Perrin, Matthieu. (Elsevier,, 2017)