MAT-74006 Concurrency Theory, 7 cr
Lisätiedot
The course is given every second year. The homepage of the course is https://www.cs.tut.fi/~ava/conctheory.html
Suitable for postgraduate studies.
Vastuuhenkilö
Antti Valmari
Opetus
| Toteutuskerta | Periodi | Vastuuhenkilö | Suoritusvaatimukset |
| MAT-74006 2017-01 | 1 - 2 |
Henri Hansen Antti Valmari |
If the number of students is small, the course is passed by solving many enough weekly exercise problems. Otherwise there will be an examination. |
Osaamistavoitteet
The student can read scientific literature on process algebras. (S)he knows one theory of reactive concurrent systems that supports full abstraction a.k.a. externally observable behaviour and has an idea of how other theories differ.
Sisältö
| Sisältö | Ydinsisältö | Täydentävä tietämys | Erityistietämys |
| 1. | Modelling systems as co-operating state machines (labelled transition systems) with variables. | Process-algebraic languages such as Lotos, CSP and CCS. | |
| 2. | Bisimulation and bisimilarity. | Algorithms for bisimilarity. | |
| 3. | Unfolding. | ||
| 4. | Trace semantics and CFFD-semantics: equivalence and preorder. | Branching bisimilarity, observation equivalence, CSP-semantics. | Weakest congruence results. Non-existence results. |
| 5. | Verification algorithms and techniques. | Computational complexity of verification. |
Oppimateriaali
| Tyyppi | Nimi | Tekijä | ISBN | URL | Lisätiedot | Tenttimateriaali |
| Other literature | Composition and Abstraction | Antti Valmari | Yes | |||
| Other literature | External Behaviour of Systems of State Machines with Variables | Antti Valmari | Yes | |||
| Other literature | Scientific papers in the field | Will be delivered to the students. | No |
Esitietovaatimukset
| Opintojakso | P/S | Selite |
| MAT-02650 Algoritmimatematiikka | Mandatory | |
| MAT-71000 Tieto ja laskenta | Advisable | |
| TIE-02100 Johdatus ohjelmointiin | Mandatory |
Vastaavuudet
Opintojakso ei vastaan mitään toista opintojaksoa