CCS

Calculus of Communicating Systems

"A Calculus of Communicating Systems", Lecture Notes in Computer Science 92, Springer-Verlag, 1980.

"Communication and Concurrency", R. Milner, Prentice-Hall 1989.