Algebra of Communicating Processes

On this page I will list some important issues concerning the Algebra of Communicating Processes that I have been involved with. Now what is the Algebra of Communicating Processes, or ACP for short? It is an algebraic theory to describe processes that can communicate. So, it is one of the flavours of concurrency theory. ACP is related to CCS, and CSP. To get a thorough idea of ACP and its links between other concurrency theories it may be helpful to read the paper below.

Concrete Process Algebra

This is a survey paper that is written by Jos Baeten and myself. It deals with the basics in process algebra and the many of its extensions. Click here for a dvi file and here PS-file of the report version. Note that a slightly different version of this paper has been published in the Handbook of Logics in Computer Science. For quick reference I have included a sub-optimal html version of the chapter.

ACP94

With my collegues Alban Ponse and Bas van Vlijmen I organized the first International Workshop on the Algebra of Communicating Processes. The proceedings contain the state-of-the-art in this type of concurrency.

ACP95

Alban Ponse, Bas van Vlijmen, and I also organized a second International Workshop on the Algebra of Communicating Processes. A special issue of Theoretical Computer Science that is devoted to The Algebra of Communicating Processes has appeared in May 1997.