Emilio TuostoBooksWeb Services and Formal MethodsCoordination Models and LanguagesTrustworthy Global ComputingAuthor data: Open Library