Models, Languages, and Tools for Concurrent and Distributed ProgrammingMichele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese · First published 2019Open the Tome