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

(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)

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

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

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

(CPJ) Concurrent Programming in Java.
Doug Lea.