Models, Languages, and Tools for Concurrent and Distributed Programming - Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese (Springer, 2019)