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.
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:
-
Chris Verhoef,
Linear unary operators in process algebra
PhD Thesis, University of Amsterdam, June 1992.
PS
-
Chris Verhoef,
On induction principles
Technical Report P9204, University of Amsterdam, 1992.
PS
-
Chris Verhoef,
An operator definition principle (for process algebras)
Technical Report P9105, University of Amsterdam, 1991.
PS
-
Chris Verhoef,
On the Register Operator
Technical Report P9003, University of Amsterdam, 1990.
PS