|
OHJ-4046 Concurrency, Advanced Course, 3 cr |
Mikko Tiusanen
No implementations
Seminar, exam, and/or homework. May vary from instance to another.
Completion parts must belong to the same implementation
-
Having passed the course, the student knows the problem of formulating a distributed algorithm and some methods or models to solve this.
Content | Core content | Complementary knowledge | Specialist knowledge |
1. | The correctness of a concurrent program. | ||
2. | Formulating a distributed algorithm. | Models of distributed computation. | Relationships among models of distributed computation. |
Seminar, exam, and/or homework; can vary according to each instance of the course.
Numerical evaluation scale (1-5) will be used on the course
Type | Name | Author | ISBN | URL | Edition, availability, ... | Examination material | Language |
Lecture slides | OHJ-4040 Concurrency, advanced course | Mikko Tiusanen | start of course | English |
Course | Mandatory/Advisable | Description |
OHJ-2500 Program Verification | Advisable | |
OHJ-4016 Concurrency | Mandatory | |
OHJ-4106 Operating Systems | Advisable |
There is no equivalence with any other courses
See http://www.cs.tut.fi/kurssit/OHJ-4046/