I want to know more about concurrency theory from a formal/mathematical point of view, I know there are a lot of computer science branches that relates to concurrency theory like process algebra, Petri nets, Actor model, CSP, etc.

But I don't know about classic books on that topics, and also I would like to know in which order it's better to study, I'm new to this field, I have some basic knowledge on λ-calculus and Turing machines theory.

What resources do you recommend to begin with this theory?


There are not that many books on this subject, as it continues to evolve at a rapid pace.

Classic books on process calculi (that don't focus on π-calculus-like mobility) are:

There are two main books on π-calculus:

The Sangiorgi/Walker book is not easy reading. The others books above can be used by a learner.

All of the books above are (mostly) about untyped processes. There is a single book on types for interactive processes (from June 2017).

Regarding recommendations, that would depend on your background and specific goals. The Milner and Hoare books should be easy to access. After those you can read the original papers.


Your Answer

