Probabilistic Models for Concurrency

Additional materials (Solutions to exercises)

Proposed solutions

You may download our solutions to the assignments. They are published every other week after the exercise class.

AssignmentSolution
Exercise 1Solution 1
Exercise 2Solution 2
Exercise 3Solution 3
Exercise 4Solution 4
Exercise 5Solution 5
Exercise 6Solution 6

Note that these solutions should be regarded as suggestions only.
We welcome any corrections and comments regarding the exercises or the solutions!

News

We have made the mistake of the exercise sheet ordering. The starting number is 1 instead of 0. Sorry!

Solution 6, Problem 3 is changed from restriction to the dual of restriction.