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