Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese Models, Languages, and Tools for Concurrent and Distributed Programming - Springer Springer 2019 ISBN: 9783030214852 Source: EBOOK