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.


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.


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.

PhD Thesis, and old reports

Up to this day people now and then request for my 1992 PhD thesis on a unifying theory where all then known protocol verifications could be expressed in and verified with. Normally, I mailed them hard copy, but this method terminated for obvious reasons. So when I got one such request in August 2005, I had to dive into my archives, and found some plain TeX files, METAFONT definitions, scripts, macros and formats, with which I was able to recompile my PhD thesis, and the technical reports underlying it. A tip of the hatlo hat to TeX and METAFONT, that up to 15 year old source can more or less be compiled! Here goes: