IN5170 – Models of Concurrency
Course description
Schedule, syllabus and examination date
Course content
Learning outcome
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
Admission to the course
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.
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
Overlapping courses
- 10 credits overlap with IN9170 – Models of Concurrency.
- 10 credits overlap with INF4140 – Models of concurrency (continued).
- 10 credits overlap with INF9145 – Models of concurrency (continued).
Teaching
4 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.
Examination
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.
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
Examination support material
Language of examination
Grading scale
Resit an examination
More about examinations at UiO
- Use of sources and citations
- How to use AI as a student
- Special exam arrangements due to individual needs
- Withdrawal from an exam
- Illness at exams / postponed exams
- Explanation of grades and appeals
- Resitting an exam
- Cheating/attempted cheating
You will find further guides and resources at the web page on examinations at UiO.