IN5170 – Models of concurrency
The course provides insight into some basic concepts and techniques for specification and reasoning for parallel processes, with a focus on close collaborative threads as well as distributed and object-oriented systems.
After completing the course you'll:
- know different mechanisms of parallelism, including systems based on the use of common variables and systems based on communication
- have good insight into typical problems with parallel systems like deadlock, fairness and starvation
- be able to specify, design and analyze a parallel system so that it meets the desired properties
- be able to contemplate the characteristics of a parallel system
Students admitted at UiO must apply for courses in Studentweb. Students enrolled in other Master's Degree Programmes can, on application, be admitted to the course if this is cleared by their own study programme.
Nordic citizens and applicants residing in the Nordic countries may apply to take this course as a single course student.
If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures for international applicants.
Recommended previous knowledge
2 hours of lectures and 2 hours of group exercises each week. Completion of mandatory assignments are required. Read more about mandatory assignments and other hand-ins.
Attending the first lecture is strongly recommended as important information will be given.
4 hours written or oral exam (depending on the number of students) at the end of the semester. All mandatory assignments must be approved prior to the exam.
Examination support material
No examination support material is allowed.
Language of examination
You may write your examination paper in Norwegian, Swedish, Danish or English.
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: INF4140 – Models of concurrency (continued), INF9145 – Models of concurrency (continued), IN9170 – Models of concurrency
Special examination arrangements
Application form, deadline and requirements for special examination arrangements.