INF9145 – Models of concurrency

Schedule, syllabus and examination date

Choose semester

Course content

The course introduces some fundamental notions and techniques for specification and reasoning about parallel processes, with regard to tightly cooperating threads as well as distributed and object-oriented systems.

Learning outcome

The course gives an insight into how to specify, develop and analyse a parallel system with regard to given desired properties.

In addition, each PhD student will be given an extended curriculum within the field/research area of the course. The syllabus must be approved by the lecturer so that the student can be admitted to the final exam.


PhD candidates from the University of Oslo should apply for classes and register for examinations through Studentweb.

If a course has limited intake capacity, priority will be given to PhD candidates who follow an individual education plan where this particular course is included. Some national researchers’ schools may have specific rules for ranking applicants for courses with limited intake capacity.

PhD candidates who have been admitted to another higher education institution must apply for a position as a visiting student within a given deadline.


Formal prerequisite knowledge


Recommended previous knowledge

Overlapping courses

10 credits overlap with INF4140 – Models of concurrency (continued)

9 credits with INF3140 – Models of concurrency (discontinued) and 3 credits with IN 305


2 hours of lectures and 2 hours of problem sessions per week. Mandatory assignments must be completed during the course. Rules for mandatory assignments.


A written examination (3 hours) at the end of the semester. The mandatory assignments must be approved prior the exam. Note that the exam in INF9145 will be more extensive than the one in INF4140.

Grading scale

Grades are awarded on a pass/fail scale. Read more about the grading system.

Explanations and appeals

Resit an examination

Students who can document a valid reason for absence from the regular examination are offered a postponed examination at the beginning of the next semester.

Re-scheduled examinations are not offered to students who withdraw during, or did not pass the original examination.

Withdrawal from an examination

It is possible to take the exam up to 3 times. If you withdraw from the exam after the deadline or during the exam, this will be counted as an examination attempt.

It will also be counted as one of your three attempts to sit the exam for this course, if you sit the exam for one of the following courses: INF4140.


It is strongly recommended to attend the first lecture since it will be given important information.

Facts about this course






Every autumn


Every autumn

Exams can be retaken for the last time during autumn 2018 and 2019 for those who have all mandatory assignments approved.

Teaching language