T-79.231 Parallel and Distributed Digital Systems (3 cr)
This course will be lectured next time in Autumn 2003. This course is the English version of T-79.179, which is lectured every Spring.
This is a course on formal methods suitable for describing concurrent behaviour.
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.
Lecture Notes(In Postscript format)
Tutorial exercises and solutions(in Postscript format)
There are 5 compulsory home assignments each worth 10 points. A minimum of 20 points is required to pass the course. Bonus points will be given to those people who do well in the assignments. The formula for the extra points will be given later.
The homeworks will be handed out on Oct.14. The first deadline is 3 weeks
hence, i.e. November 4. The other deadlines follow weekly. That is,
Results will be posted as they become available.Back to menu.
Other Interesting StuffBack to menu.
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 26 August 2003.