Luca PadovaniBooksEuro-Par 2018 : Parallel ProcessingFormal Methods for Web ServicesAuthor data: Open Library