TCS / Teaching / T-79.231

T-79.231 Parallel and Distributed Digital Systems

(3 credits)

Autumn 2001

An excerpt from the topi web page of T-79.231, concerning the exam on Saturday, February 16, 2002: "Read (Other remarks: It is not allowed to attend the exam without registration. Registration is allowed only before the registration deadline which is on Friday; February 8; 2002; at noon.)"

The reading list for the exam is now available

The results from homework 1 are now available

NOTE:No tutorial on 20th Nov due to illness. The tutorial 8 will be given next week (27th Nov)

NOTE:No tutorial on 30th Oct.

NOTE: the tutorials will be in hall F in the main building from now on. The new place should be large enough. The time will remain the same.

This course is the English version of T-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät (3 ov), which will be held in the spring term, 2002. Please note that the courses are similar, if not equal, in content.

Tämä on englanninkielinen versio kurssista T-79.179, joka pidetään kevätlukukaudella 2002. Voit osallistua valintasi mukaan joko englannin- tai suomenkieliseen kurssiin.

Concurrent and distributed systems play a significant role in the implementation of computer based applications. E.g. the Internet, telecommunications protocols, client/server systems, embedded systems, and process control are application domains where an understanding of concurrent or distributed systems and their underlying phenomena are needed. Some of the problems encountered are the issues of timing and synchronization; when solving these problems we benefit from a rigorous approach, formal methods, and efficient software tools.

The goal of the course is to give the student an introduction to the methods and formalisms used in the modelling and analysis of parallel and distributed systems. The lectures cover the theory and use of Petri nets, foundations of temporal logics, and process algebra. To practise modelling and applications of theory there is tutored practical work (laskuharjoitus) and compulsory homework.

Requirements to pass the course:
Examination and compulsory homework (see below).
Lecture time:
Monday, 16-19 hrs, room T3, starting on Sep 17th, 2001.
Tutored practise:
Tuesday, 12-14 hrs, lecture hall F, starting on Sep 25th, 2000.
Discussion forum:
Compendium == lecture slides, to be downloaded from this very page.
Useful software:
Additional material:
Teemu Tynjälä, M.Sc., email:
Assistant for tutored practise and homework:
Jukka Honkola, phone: 451 5244 email:

Lecture Slides

Home assignments

The results of home assignments.

There will be 5 home assignments, each of which is worth 10 points. One of the requirements to pass the course is to accumulate a total of at least 20 points from the home assignments. If you score 20 to 50 points you will gain extra points in the exam, incrementing your course grade with at most 2.

You should return your homeworks on paper to the box between rooms B336 and B337 in the Computer Science building. Email returns will not be accepted.

In the above calculation of a student's mark for the course, a bonus is added to the exam total according to the following formula: T = E + (H - 20)/3, where T is the total points from the exam and homework, E is the total of points from the exam, and H is the score from the home assignments.


Tutorials are special events held by the assistant whereupon certain problems are worked on to give further enlightenment.

The tutorials and their answers will appear here. However, some of the pictures are not in a computer readable form so they will be missing

Latest update: 13:51, Nov 27, 2001 by