INF3140 – Models of concurrency
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
In addition to fulfilling the minimum requirements for entrance to higher education in Norway, you must either have 2MX/2MY/3MZ from Norwegian upper secondary school, or have completed equivalent studies in mathematics at upper secondary school or university level at another educational institution. Read more about fulfilling special requirements.
Recommended previous knowledge
Teaching
2 hours of lectures and 2 hours of problem sessions per week. The students must hand in and pass obligatory tasks before they are admitted to take the exam.
Examination
A written examination (3 hours) at the end of the semester. Graded marks.
Resit an examination
This subject does not offer new examination in the beginning of the subsequent term for candidates who withdraw during an ordinary examination or fail an ordinary examination. For general information about new examination, see /studier/admin/eksamen/sykdom-utsatt/mn/index.html and http://www.matnat.uio.no/english/studies/examination/repeat.html
Other
Note that the first lecture is compulsory. The subject is regarded equal to INF3140 when practicing exam regulations.
Course Auditor: Rune Steinberg