Distributed and Parallel Systems (Springer US, 2020)