Course Material

This section lists the course material for the course 2IMF10 Process Algebra.


J. C. M. Baeten, T. Basten and M. A. Reniers:
Process Algebra: Equational Theories of Communicating Processes
Cambridge Tracts in Theoretical Computer Science, Vol. 30
Cambridge University Press, 2010


(Slides will be added during the course.)
[ Introduction and motivation ]
[ Algebra ]
[ Mathematical representation of behaviour ]
[ Minimal Process Theory and Basic Sequential Processes ]
[ Basic Sequential Processes ]
[ Theory of Sequential Processes ]
[ Recursion ]
[ Expressiveness and Definability ]
[ Basic Communicating Processes ]
[ Abstraction ]
[ TCP with silent steps ]
[ Validity of RSP ]
[ Bags and Queues ]

Additional Material

(Possibly some additional material will be posted here.)

Old Examinations

(NB: the exact topics treated may slightly differ from year to year.)