Introduction
The Process Algebra Meetings (PAM) has been a forum for
the presentation of ongoing and finished research in the areas of
process theory, protocol verification, term rewriting, theorem
proving, and the like.
The seminar is defunct since July 2008. You can still
find the material of the presentations held in this seminar on this
website. For pointers to interesting alternative seminars, please consult
pam.project.cwi.nl/links.html.
Process Algebra Meetings (PAM)
