Concurrency, Graphs and Models - Degano, Pierpaolo (Springer Berlin Heidelberg, 2020)