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