INF4140 - Models of concurrency
Schedule, syllabus and examination date
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.
The course gives an insight into how to specify, develop and analyse a parallel system with regard to given desired properties.
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.
Formal prerequisite knowledge
Recommended previous knowledge
10 credits overlap with INF9145 - Models of concurrency
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 (4 hours) at the end of the semester. Mandatory assignments must be approved prior to the exam.
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
If you wish to withdraw from the exam you must do so in Studentweb at least two weeks prior to the deadline. Failure to do so 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
It is strongly recommended to attend the first lecture since it will be given important information.