Concurrency the works of Leslie Lamport - Malkhi, Dahlia (Association for Computing Machinery, 2019)