Study Guide 2017-2018

MAT-74006 Concurrency Theory, 7 cr

Implementation MAT-74006 2017-01

Lessons

Period 1 - 2
Methods of instruction Monimuoto-opetus
Person responsible Henri Hansen, Antti Valmari

Assessment scale

Numerical evaluation scale (0-5)

Requirements

If the number of students is small, the course is passed by solving many enough weekly exercise problems. Otherwise there will be an examination.

MAT-74006 Concurrency Theory/O/03 Tue 29.08.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 30.08.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 31.08.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 05.09.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 06.09.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 07.09.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 12.09.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 13.09.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 14.09.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 19.09.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 20.09.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 21.09.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 26.09.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 27.09.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 28.09.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 03.10.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 04.10.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 05.10.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 10.10.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 11.10.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 12.10.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 24.10.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 25.10.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 26.10.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 31.10.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 01.11.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 02.11.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 07.11.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 08.11.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 09.11.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 14.11.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 15.11.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 16.11.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 21.11.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 22.11.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 23.11.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 28.11.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/02 Wed 29.11.2017 15:00 - 17:00
MAT-74006 Concurrency Theory/O/01 Thu 30.11.2017 08:00 - 10:00
MAT-74006 Concurrency Theory/O/03 Tue 05.12.2017 12:00 - 14:00
MAT-74006 Concurrency Theory/O/01 Thu 07.12.2017 08:00 - 10:00

Study material

Type Name Author ISBN Additional information Language Examination material
Other literature Composition and Abstraction Antti Valmari English Yes
Other literature External Behaviour of Systems of State Machines with Variables Antti Valmari English Yes
Other literature Scientific papers in the field Will be delivered to the students. English No