Michele LoretiBooksModels, Languages, and Tools for Concurrent and Distributed ProgrammingTrustworthy Global ComputingCoordination Models and LanguagesAuthor data: Open Library