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

Facts about this course

Credits
10
Teaching
Every autumn

This version of the course will be held for the last time Autumn 2007. INF4140 – Models of concurrency (continued) will still be held.

Examination
Every autumn
Teaching language
Norwegian (English on request)