Matthew Hennessy

Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science.

(paperback not available in U.S. and Canada)