(RS) Reactive systems modelling, specification and verification. Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
2007 (Cap. 1-3 e 7.2)

PB PseuCoBook e-book for CCS

(ITC) Introduction to Concurrency Theory.
Roberto Gorrieri and Cristian Versari
2015

(CC) Communication and Concurrency, Robin Milner.
Prentice Hall International Series in Computer Science, 1989.

(AMP) The Art of Multiprocessor Programming.
Maurice Herlihy and Nir Shavit. 2008

(CPAPF) Concurrent Programming:Algorithms, Principles, and Foundations
Michel Raynal. 2013

Learning Concurrent Programming in Scala. Aleksender Prokopec