Course Catalog 2009-2010
International

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2009-2010

OHJ-4046 Concurrency, Advanced Course, 3 cr

Person responsible

Mikko Tiusanen

Implementations

No implementations

Requirements

Seminar, exam, and/or homework. May vary from instance to another.
Completion parts must belong to the same implementation

Principles and baselines related to teaching and learning

-

Learning outcomes

Having passed the course, the student knows the problem of formulating a distributed algorithm and some methods or models to solve this.

Content

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. 


Evaluation criteria for the course

Seminar, exam, and/or homework; can vary according to each instance of the course.

Assessment scale:

Numerical evaluation scale (1-5) will be used on the course

Partial passing:

Completion parts must belong to the same implementation

Study material

Type Name Author ISBN URL Edition, availability, ... Examination material Language
Lecture slides   OHJ-4040 Concurrency, advanced course   Mikko Tiusanen       start of course      English  


Prerequisites

Course Mandatory/Advisable Description
OHJ-2500 Program Verification Advisable    
OHJ-4016 Concurrency Mandatory    
OHJ-4106 Operating Systems Advisable    

Prerequisite relations (Requires logging in to POP)

Correspondence of content

There is no equivalence with any other courses

Additional information

See http://www.cs.tut.fi/kurssit/OHJ-4046/

Last modified03.03.2009
ModifierMikko Tiusanen