Concurrency : the Works of Leslie Lamport - Malkhi