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.

Admission

Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb.

If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.

Prerequisites

Formal prerequisite knowledge

None

Recommended previous knowledge

Overlapping courses

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

Teaching

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

Examination

A written examination (4 hours) at the end of the semester. Mandatory assignments must be approved prior to the exam.

Grading scale

Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. 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: INF3140

Other

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

Facts about this course

Credits
10
Level
Master
Teaching
Every autumn

The course will be held for the last time Autumn 2017

Examination
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
English