Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday - Boreale, Michele; Boreale, Michele; Corradini, Flavio; Corradini, Flavio; Loreti, Michele; Loreti, Michele; Pugliese, Rosario; Pugliese, Rosario (Springer International Publishing : Imprint: Springer, 2019)