MAT-74006 Concurrency Theory, 7 cr
Implementation MAT-74006 2016-01
| Period | The implementation will not be executed during the academic year 2016-2017. |
| Methods of instruction | |
| Person responsible | 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.
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 |