Concurrency Oriented Programming and more generally event-based approach of software development are becoming increasingly popular. This book presents a good theorical formalisation of the underlying Erlang model.

Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literature. The book Communicating Sequential Processes was first published in 1985 by Prentice Hall International (who have kindly released the copyright); it is an excellent introduction to the CSP language, and also to the mathematical theory behind it.

Many elements can be mapped to the Erlang language.

Communicating Sequential Processes (CSP)

Related links