Process Algebra - 2IF45
(year 2011-2012)


Lecturer: Suzana Andova

office HG 5.36
phone: 5089

Lectures are in English in Auditorium 11 (Quartile 3) and HG 6.09 (Quartile 4)   !!!! Note the change of the classroom!!!!

Course material:

1. Jos C.M. Baeten, T. Basten, M.A. Reniers “Process Algebra: Equational Theories of Communicating Processes” (parts)
2. "Probabilistic Process Algebra'', lecturenotes
3. Distributed papers
4. Slides used during the lectures

Here you will find additional exercises!

Additional literature:

  1. Bosscher, D.J.B "Grammar modulo bisimulation" , PhD thesis, University of Amesterdam, 1997 (here you will find a proof that processes with unbounded branching cannot be finitely defined.)
  2. R. J. van Glabbeek. The linear time - branching time spectrum I; The semantics of concrete, sequential processes. In Handbook of Process Algebra, chapter 1, pages 3-99. Elsevier, 2001. R. J. van Glabbeek.
  3. The linear time - branching time spectrum II. In CONCUR'93, LNCS 715, pages 66-81. Springer, 1993.



Slides of the lectures:


Important Information: There will be no lecture on 29th of May (Tuesday). Nevertheless you are advised to get acquainted with the first and the second             chapter of the lecture notes on Probabilistic Process Algebra. This will be treated at the next lecture June 4th, but it will help you better to understand the lecture and prepare already for the third assignments. The third assignment will be published by June 1st.



  • Assignment 1: The deadline for the first assignment is 15th of April and you have to hand it in via Peach3
  • Assignment 2: The deadline for the second assignment is 20th of May and you have to hand it in via Peach3
  • Assignment 3: The deadline for the third assignment is 25th of June and you have to hand it in via Peach3




    Sample Exam:

    Here you will find a Sample Exam questions covering the first part of the course. Your home work for Monday May 7th is to solve as much as possible from these questions.

    Sample Exam questions covering the second part of the course. Also an example of probabilistic branching bisimulation with solution.

    Last update 03-07-2012