Concurrency : The Works of Leslie Lamport - Dahlia Malkhi (2019)