Michele BorealeBooksFormal Techniques for Distributed SystemsModels, Languages, and Tools for Concurrent and Distributed ProgrammingAuthor data: Open Library