Process Algebra - 2IF45
Lecturer: Suzana Andova
office HG 5.36
Lectures are in English in Auditorium 11 (Quartile 3) and HG 6.09 (Quartile 4) !!!! Note the change of the classroom!!!!
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.
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